From ae323d2083801766dd3c3ebfe67a85fb1085ed5e Mon Sep 17 00:00:00 2001
From: Ben Ogle <ogle.ben@gmail.com>
Date: Mon, 25 Aug 2014 12:24:19 -0700
Subject: [PATCH] Use @mini

---
 src/editor-view.coffee | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/editor-view.coffee b/src/editor-view.coffee
index f9eb2c561..2e1408a9e 100644
--- a/src/editor-view.coffee
+++ b/src/editor-view.coffee
@@ -81,7 +81,7 @@ class EditorView extends View
         softWrap: false
         tabLength: 2
         softTabs: true
-        mini: mini
+        mini: @mini
 
     props = defaults({@editor, parentView: this}, props)
     @component = React.renderComponent(EditorComponent(props), @element)