Make context menu work on FF4 on Win7

marijnh · marijnh · commit 2a72130e4338 · 2011-05-26T14:29:42.000+02:00
Apparently, popping up the context menu took more than 50 \(\!\)
milliseconds on that platform, and codemirror had already hidden
the textarea again by the time the menu arrived.
diff --git a/lib/codemirror.js b/lib/codemirror.js
@@ -1135,7 +1135,7 @@ var CodeMirror = (function() {
         leaveInputAlone = false;
         prepareInput();
         slowPoll();
-      }, 50);
+      }, 100);
     }
 
     // Cursor-blinking

Original file line number	Diff line number	Diff line change
`@@ -1135,7 +1135,7 @@ var CodeMirror = (function() {`
`1135`	`1135`	`leaveInputAlone = false;`
`1136`	`1136`	`prepareInput();`
`1137`	`1137`	`slowPoll();`
`1138`		`- }, 50);`
	`1138`	`+ }, 100);`
`1139`	`1139`	`}`
`1140`	`1140`
`1141`	`1141`	`// Cursor-blinking`