Another approach to fixing the context menu in FF

Author: marijnh

lib/codemirror.js

@@ -1135,15 +1135,25 @@ var CodeMirror = (function() {
       var val = input.value = getSelection();
       focusInput();
       setSelRange(input, 0, input.value.length);
-      if (gecko) e.stop();
       leaveInputAlone = true;
-      setTimeout(function() {
+      function rehide() {
         if (input.value != val) operation(replaceSelection)(input.value, "end");
         input.style.cssText = oldCSS;
         leaveInputAlone = false;
         prepareInput();
         slowPoll();
-      }, 100);
+      }
+      
+      if (gecko) {
+        e.stop()
+        var mouseup = connect(window, "mouseup", function() {
+          mouseup();
+          setTimeout(rehide, 20);
+        }, true);
+      }
+      else {
+        setTimeout(rehide, 50);
+      }
     }
 
     // Cursor-blinking