mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2025-01-07 15:49:23 +03:00
copy pasta fail
This commit is contained in:
parent
09a5ba0e0c
commit
aa10aa298c
@ -93,19 +93,6 @@ class Editor extends Resource
|
||||
|
||||
true
|
||||
|
||||
edit: (code) ->
|
||||
@session = new EditSession code
|
||||
@session.setValue code
|
||||
@session.setUseSoftTabs @settings.softTabs
|
||||
@session.setTabSize if @settings.softTabs then @settings.tabSize else 8
|
||||
@session.setUndoManager new UndoManager
|
||||
@session.on 'change', => @dirty = true
|
||||
@pane.ace.setSession @session
|
||||
|
||||
@pane.ace.setTheme require "ace/theme/#{@settings.theme}"
|
||||
@pane.ace.setShowInvisibles @settings.showInvisibles
|
||||
@pane.ace.setPrintMarginColumn @settings.marginColumn
|
||||
|
||||
close: ->
|
||||
if @dirty
|
||||
detailedMessage = if @url
|
||||
|
Loading…
Reference in New Issue
Block a user