more clever key activity detection

we now use the fact that keypress will be repeatedly fired for
held keys do the polling for changes in a more efficient way. this
also fixes the issue with enter not repeating on Opera.

Author: marijnh

lib/codemirror.js

@@ -61,7 +61,7 @@ var CodeMirror = (function() {
     // happened during the operation.
     var updateInput, changes, textChanged, selectionChanged;
     // Current visible range (may be bigger than the view window).
-    var showingFrom = 0, showingTo = 0, lastHeight = 0;
+    var showingFrom = 0, showingTo = 0, lastHeight = 0, curKeyId = null;
     // editing will hold an object describing the things we put in the
     // textarea, to help figure out whether something changed.
     // bracketHighlighted is used to remember that a backet has been
@@ -80,7 +80,7 @@ var CodeMirror = (function() {
     connect(window, "resize", function() {updateDisplay(true);});
     connect(input, "keyup", operation(onKeyUp));
     connect(input, "keydown", operation(onKeyDown));
-    connect(input, "keypress", onKeyPress);
+    connect(input, "keypress", operation(onKeyPress));
     connect(input, "focus", onFocus);
     connect(input, "blur", onBlur);
 
@@ -281,7 +281,7 @@ var CodeMirror = (function() {
       if (mod && (code == 36 || code == 35)) {scrollEnd(code == 36); return e.stop();} // ctrl-home/end
       if (mod && code == 65) {selectAll(); return e.stop();} // ctrl-a
       if (!options.readOnly) {
-        if (!anyMod && code == 13) {handleEnter(); return e.stop();} // enter
+        if (!anyMod && code == 13) {return;} // enter
         if (!anyMod && code == 9 && handleTab(e.e.shiftKey)) return e.stop(); // tab
         if (mod && code == 90) {undo(); return e.stop();} // ctrl-z
         if (mod && ((e.e.shiftKey && code == 90) || code == 89)) {redo(); return e.stop();} // ctrl-shift-z, ctrl-y
@@ -293,15 +293,15 @@ var CodeMirror = (function() {
       // its start when it is inverted and a movement key is pressed
       // (and later restore it again), shouldn't be used for
       // non-movement keys.
-      var id = (mod ? "c" : "") + code;
+      curKeyId = (mod ? "c" : "") + code;
       if (sel.inverted && movementKeys.hasOwnProperty(id)) {
         var range = selRange(input);
         if (range) {
           reducedSelection = {anchor: range.start};
           setSelRange(input, range.start, range.start);
         }
       }
-      fastPoll(id);
+      fastPoll(curKeyId);
     }
     function onKeyUp(e) {
       if (reducedSelection) {
@@ -319,7 +319,9 @@ var CodeMirror = (function() {
       }
       var code = e.e.keyCode;
       // Re-stop tab and enter. Necessary on some browsers.
-      if (code == 13 || (code == 9 && options.tabMode != "default")) e.stop();
+      if (code == 13) {handleEnter(); e.stop();}
+      else if (code == 9 && options.tabMode != "default") e.stop();
+      else fastPoll(curKeyId);
     }
 
     function onFocus() {
@@ -467,13 +469,12 @@ var CodeMirror = (function() {
       });
     }
     function fastPoll(keyId) {
-      var misses = 0;
+      var missed = false;
       function p() {
         startOperation();
         var changed = readInput();
         if (changed == "moved" && keyId) movementKeys[keyId] = true;
-        if (changed) {poll.set(80, p); misses = 0;}
-        else if (misses++ < 5) {poll.set(80, p);}
+        if (!changed && !missed) {missed = true; poll.set(80, p);}
         else slowPoll();
         endOperation();
       }