Re-query selection state in onContextMenu

Issue #2369

Author: marijnh

lib/codemirror.js

@@ -3087,15 +3087,14 @@
     focusInput(cm);
     resetInput(cm);
     // Adds "Select all" to context menu in FF
-    var hasSelection = cm.somethingSelected();
-    if (!hasSelection) display.input.value = display.prevInput = " ";
+    if (!cm.somethingSelected()) display.input.value = display.prevInput = " ";
 
     // Select-all will be greyed out if there's nothing to select, so
     // this adds a zero-width space so that we can later check whether
     // it got selected.
     function prepareSelectAllHack() {
       if (display.input.selectionStart != null) {
-        var extval = display.input.value = "\u200b" + (hasSelection ? display.input.value : "");
+        var extval = display.input.value = "\u200b" + (cm.somethingSelected() ? display.input.value : "");
         display.prevInput = "\u200b";
         display.input.selectionStart = 1; display.input.selectionEnd = extval.length;
       }