Add options.forceFocus for getSelection and getCursor

Give the editor focus after selection.

doc/manual.html

@@ -1419,6 +1419,8 @@ <h3 id="api_selection">Cursor and selection methods</h3>
         based on the relative position of the old selection—the editor
         will try to move further away from that, to prevent getting
         stuck.</dd>
+        <dt id="selection_bias"><code><strong>forceFocus</strong>: boolean</code></dt>
+        <dd>Give the editor focus after selection.</dd>
       </dl></dd>
 
       <dt id="setSelections"><code><strong>doc.setSelections</strong>(ranges: array&lt;{anchor, head}&gt;, ?primary: integer, ?options: object)</code></dt>

src/display/operations.js

@@ -32,6 +32,7 @@ export function startOperation(cm) {
     cursorActivityHandlers: null, // Set of handlers to fire cursorActivity on
     cursorActivityCalled: 0, // Tracks which cursorActivity handlers have been called already
     selectionChanged: false, // Whether the selection needs to be redrawn
+    forceFocus: false,       // Force focus after selection changed
     updateMaxLine: false,    // Set when the widest line needs to be determined anew
     scrollLeft: null, scrollTop: null, // Intermediate scroll position, not pushed to DOM yet
     scrollToPos: null,       // Used to scroll to a specific position
@@ -128,9 +129,9 @@ function endOperation_W2(op) {
   if (cm.state.focused && op.updateInput)
     cm.display.input.reset(op.typing)
 
-  if (!op.extActiveElt)
-    ensureFocus(op.cm)
-  else {
+  if (!op.extActiveElt || op.forceFocus) {
+    ensureFocus(cm)
+  } else {
     op.extActiveElt.focus()
   }
 }

src/model/selection_updates.js

@@ -108,6 +108,9 @@ export function setSelectionNoUndo(doc, sel, options) {
 
   if (!(options && options.scroll === false) && doc.cm)
     ensureCursorVisible(doc.cm)
+
+  if ((options && options.forceFocus === true) && doc.cm)
+    doc.cm.curOp.forceFocus = true
 }
 
 function setSelectionInner(doc, sel) {