From 19315390cf266710aafa89ca23a27690b784c465 Mon Sep 17 00:00:00 2001
From: Fabian Stiewitz <fabian.stiewitz@protonmail.ch>
Date: Fri, 26 Jun 2015 11:45:38 +0200
Subject: [PATCH 1/2] TextEditorElement: Add callback for
 TextEditor::onDidChangeMini

---
 src/text-editor-element.coffee | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/src/text-editor-element.coffee b/src/text-editor-element.coffee
index e3eaaeb2a..a4c7c2652 100644
--- a/src/text-editor-element.coffee
+++ b/src/text-editor-element.coffee
@@ -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()

From eca4ed170e226cfc09667f56d648ea46ce099fd9 Mon Sep 17 00:00:00 2001
From: Fabian Stiewitz <fabian.stiewitz@protonmail.ch>
Date: Wed, 1 Jul 2015 12:36:10 +0200
Subject: [PATCH 2/2] Add specs for TextEditor::setMini in TextEditorElement

---
 spec/text-editor-element-spec.coffee | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/spec/text-editor-element-spec.coffee b/spec/text-editor-element-spec.coffee
index ea5f55968..55b164d79 100644
--- a/spec/text-editor-element-spec.coffee
+++ b/spec/text-editor-element-spec.coffee
@@ -233,3 +233,13 @@ describe "TextEditorElement", ->
       element = new TextEditorElement
       jasmine.attachToDOM(element)
       expect(element.getDefaultCharacterWidth()).toBeGreaterThan(0)
+
+  describe "on TextEditor::setMini", ->
+    it "changes the element's 'mini' attribute", ->
+      element = new TextEditorElement
+      jasmine.attachToDOM(element)
+      expect(element.hasAttribute('mini')).toBe false
+      element.getModel().setMini(true)
+      expect(element.hasAttribute('mini')).toBe true
+      element.getModel().setMini(false)
+      expect(element.hasAttribute('mini')).toBe false