From 1c1e2b74bb6140cf7c1adba35022632df63de786 2014-12-07 21:10:14
From: Min RK <benjaminrk@gmail.com>
Date: 2014-12-07 21:10:14
Subject: [PATCH] fixup

---

diff --git a/IPython/html/static/edit/js/editor.js b/IPython/html/static/edit/js/editor.js
index 24a52de..6895254 100644
--- a/IPython/html/static/edit/js/editor.js
+++ b/IPython/html/static/edit/js/editor.js
@@ -47,7 +47,7 @@ function($,
                 Editor.default_codemirror_options,
                 cfg.codemirror_options || {}
             );
-            that.set_codemirror_options(cmopts, false);
+            that._set_codemirror_options(cmopts);
             that.events.trigger('config_changed.Editor', {config: that.config});
         });
     };
@@ -113,6 +113,10 @@ function($,
     Editor.prototype._set_codemirror_options = function (options) {
         // update codemirror options from a dict
         for (var opt in options) {
+            if (!options.hasOwnProperty(opt)) {
+                continue;
+            }
+            console.log(opt, options[opt]);
             this.codemirror.setOption(opt, options[opt]);
         }
     };