pulsar-edit/pulsar
1
1
Fork 0
mirror of https://github.com/pulsar-edit/pulsar.git synced 2024-09-21 07:58:04 +03:00
Code Issues Packages Projects Releases Wiki Activity

TextEditorElement: Add callback for TextEditor::onDidChangeMini

Browse Source
This commit is contained in:
Fabian Stiewitz 2015-06-26 11:45:38 +02:00
parent c82b1022dc
commit 19315390cf
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/text-editor-element.coffee
View File

@ -83,11 +83,12 @@ class TextEditorElement extends HTMLElement
@model = model
@mountComponent()
@addGrammarScopeAttribute()
@addMiniAttributeIfNeeded()
@addMiniAttribute() if @model.isMini()
@addEncodingAttribute()
@model.onDidChangeGrammar => @addGrammarScopeAttribute()
@model.onDidChangeEncoding => @addEncodingAttribute()
@model.onDidDestroy => @unmountComponent()
@model.onDidChangeMini (mini) => if mini then @addMiniAttribute() else @removeMiniAttribute()
@__spacePenView.setModel(@model) if Grim.includeDeprecatedAPIs
@model
@ -155,8 +156,11 @@ class TextEditorElement extends HTMLElement
grammarScope = @model.getGrammar()?.scopeName?.replace(/\./g, ' ')
@dataset.grammar = grammarScope
addMiniAttributeIfNeeded: ->
@setAttributeNode(document.createAttribute("mini")) if @model.isMini()
addMiniAttribute: ->
@setAttributeNode(document.createAttribute("mini"))
removeMiniAttribute: ->
@removeAttribute("mini")
addEncodingAttribute: ->
@dataset.encoding = @model.getEncoding()