Fix bug of tooltipFollowsMouse option with folded text.
This commit is contained in:
parent
0d6eb5b718
commit
df68336921
1 changed files with 1 additions and 1 deletions
|
|
@ -93,7 +93,7 @@ function GutterHandler(mouseHandler) {
|
||||||
if (mouseHandler.$tooltipFollowsMouse) {
|
if (mouseHandler.$tooltipFollowsMouse) {
|
||||||
moveTooltip(mouseEvent);
|
moveTooltip(mouseEvent);
|
||||||
} else {
|
} else {
|
||||||
var gutterElement = gutter.$cells[row].element;
|
var gutterElement = gutter.$cells[editor.session.documentToScreenRow(row, 0)].element;
|
||||||
var rect = gutterElement.getBoundingClientRect();
|
var rect = gutterElement.getBoundingClientRect();
|
||||||
var style = tooltip.getElement().style;
|
var style = tooltip.getElement().style;
|
||||||
style.left = rect.right + "px";
|
style.left = rect.right + "px";
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue