##// END OF EJS Templates
skip codemirror key-event handling when read-only
MinRK -
Show More
@@ -66,6 +66,10 b' var IPython = (function (IPython) {'
66 66 // handlers and is used to provide custom key handling. Its return
67 67 // value is used to determine if CodeMirror should ignore the event:
68 68 // true = ignore, false = don't ignore.
69
70 if (this.read_only){
71 return false;
72 }
69 73
70 74 // note that we are comparing and setting the time to wait at each key press.
71 75 // a better wqy might be to generate a new function on each time change and
General Comments 0
You need to be logged in to leave comments. Login now