Fix for #5426 (Quick View popup closes & reopens when moving mouse rightward)

src/extensions/default/QuickView/main.js

@@ -594,10 +594,16 @@ define(function (require, exports, module) {
             }
             lastPos = pos;
 
+            // No preview if mouse is past last char on line
+            if (pos.ch >= editor.document.getLine(pos.line).length) {
+                hidePreview();
+                return;
+            }
+
             // Is there already a popover provider and range?
             if (popoverState) {
                 if (popoverState.start && popoverState.end &&
-                        editor.posWithinRange(pos, popoverState.start, popoverState.end)) {
+                        editor.posWithinRange(pos, popoverState.start, popoverState.end, 1)) {
                     // That one's still relevant - nothing more to do
                     return;
                 } else {
@@ -607,12 +613,6 @@ define(function (require, exports, module) {
                 }
             }
 
-            // No preview if mouse is past last char on line
-            if (pos.ch >= editor.document.getLine(pos.line).length) {
-                hidePreview();
-                return;
-            }
-
             // Initialize popoverState
             popoverState = {};