Show More
@@ -11,7 +11,7 b' define([' | |||||
11 |
|
11 | |||
12 | // monkey patch CM to be able to syntax highlight cell magics |
|
12 | // monkey patch CM to be able to syntax highlight cell magics | |
13 | // bug reported upstream, |
|
13 | // bug reported upstream, | |
14 |
// see https://github.com/ |
|
14 | // see https://github.com/codemirror/CodeMirror/issues/670 | |
15 | if(CodeMirror.getMode(1,'text/plain').indent === undefined ){ |
|
15 | if(CodeMirror.getMode(1,'text/plain').indent === undefined ){ | |
16 | CodeMirror.modes.null = function() { |
|
16 | CodeMirror.modes.null = function() { | |
17 | return {token: function(stream) {stream.skipToEnd();},indent : function(){return 0;}}; |
|
17 | return {token: function(stream) {stream.skipToEnd();},indent : function(){return 0;}}; | |
@@ -89,7 +89,7 b' define([' | |||||
89 |
|
89 | |||
90 | // FIXME: Workaround CM Bug #332 (Safari segfault on drag) |
|
90 | // FIXME: Workaround CM Bug #332 (Safari segfault on drag) | |
91 | // by disabling drag/drop altogether on Safari |
|
91 | // by disabling drag/drop altogether on Safari | |
92 |
// https://github.com/ |
|
92 | // https://github.com/codemirror/CodeMirror/issues/332 | |
93 | if (utils.browser[0] == "Safari") { |
|
93 | if (utils.browser[0] == "Safari") { | |
94 | Cell.options_default.cm_config.dragDrop = false; |
|
94 | Cell.options_default.cm_config.dragDrop = false; | |
95 | } |
|
95 | } |
@@ -2,9 +2,9 b'' | |||||
2 | // Mode with support for latex. |
|
2 | // Mode with support for latex. | |
3 | // |
|
3 | // | |
4 | // Latex support was supported by Codemirror GFM as of |
|
4 | // Latex support was supported by Codemirror GFM as of | |
5 |
// https://github.com/ |
|
5 | // https://github.com/codemirror/CodeMirror/pull/567 | |
6 | // But was later removed in |
|
6 | // But was later removed in | |
7 |
// https://github.com/ |
|
7 | // https://github.com/codemirror/CodeMirror/commit/d9c9f1b1ffe984aee41307f3e927f80d1f23590c | |
8 |
|
8 | |||
9 | CodeMirror.requireMode('gfm', function(){ |
|
9 | CodeMirror.requireMode('gfm', function(){ | |
10 | CodeMirror.requireMode('stex', function(){ |
|
10 | CodeMirror.requireMode('stex', function(){ |
General Comments 0
You need to be logged in to leave comments.
Login now