##// 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 // handlers and is used to provide custom key handling. Its return
66 // handlers and is used to provide custom key handling. Its return
67 // value is used to determine if CodeMirror should ignore the event:
67 // value is used to determine if CodeMirror should ignore the event:
68 // true = ignore, false = don't ignore.
68 // true = ignore, false = don't ignore.
69
70 if (this.read_only){
71 return false;
72 }
69
73
70 // note that we are comparing and setting the time to wait at each key press.
74 // note that we are comparing and setting the time to wait at each key press.
71 // a better wqy might be to generate a new function on each time change and
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