mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2025-01-08 16:19:17 +03:00
Remove editSession options support
This commit is contained in:
parent
f1e768767e
commit
d8c4fa902d
@ -86,8 +86,7 @@ class EditorView extends View
|
||||
if editorOrOptions instanceof Editor
|
||||
editor = editorOrOptions
|
||||
else
|
||||
{editor, editSession, @mini, placeholderText} = editorOrOptions ? {}
|
||||
editor ?= editSession # TODO: Remove this line after packages have updated their api to use Editor and EditorView
|
||||
{editor, @mini, placeholderText} = editorOrOptions ? {}
|
||||
|
||||
@id = EditorView.nextEditorId++
|
||||
@lineCache = []
|
||||
|
Loading…
Reference in New Issue
Block a user