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