From 18a8ae2f282e0c4e0a569ae1883a6b7e9aecb391 Mon Sep 17 00:00:00 2001 From: Marijn Haverbeke Date: Tue, 19 Nov 2019 10:25:13 +0100 Subject: [PATCH] Adjust posFromMouse to handle arbitrary xRel field values Closes #6067 --- src/measurement/position_measurement.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/measurement/position_measurement.js b/src/measurement/position_measurement.js index 18ec11df8..bb0ad50d6 100644 --- a/src/measurement/position_measurement.js +++ b/src/measurement/position_measurement.js @@ -679,7 +679,7 @@ export function posFromMouse(cm, e, liberal, forRect) { try { x = e.clientX - space.left; y = e.clientY - space.top } catch (e) { return null } let coords = coordsChar(cm, x, y), line - if (forRect && coords.xRel == 1 && (line = getLine(cm.doc, coords.line).text).length == coords.ch) { + if (forRect && coords.xRel > 0 && (line = getLine(cm.doc, coords.line).text).length == coords.ch) { let colDiff = countColumn(line, line.length, cm.options.tabSize) - line.length coords = Pos(coords.line, Math.max(0, Math.round((x - paddingH(cm.display).left) / charWidth(cm.display)) - colDiff)) }