mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-01-06 11:35:24 +08:00
Code Issues Packages Projects Releases Wiki Activity

fixup

Browse Source
This commit is contained in:
Min RK 2014-12-02 12:55:42 -08:00
parent 0c42d3659e
commit 54324633ca
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
IPython/html/static/edit/js/editor.js
View File

@ -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]);
}
};