Review changes
This commit is contained in:
parent
e9434fc1df
commit
be0d187a60
2 changed files with 2 additions and 13 deletions
|
|
@ -1030,17 +1030,6 @@ var Editor = function(renderer, session) {
|
|||
return this.getOption("highlightGutterLine");
|
||||
};
|
||||
|
||||
/**
|
||||
* Determines if the annotation tooltip follows the mouse or is stationary to the annotation.
|
||||
* @return {Boolean}
|
||||
**/
|
||||
this.setTooltipFollowsMouse = function(tooltipShouldFollowMouse) {
|
||||
this.setOption("tooltipFollowsMouse", tooltipShouldFollowMouse);
|
||||
};
|
||||
this.getTooltipFollowsMouse = function() {
|
||||
return this.getOption("tooltipFollowsMouse");
|
||||
};
|
||||
|
||||
/**
|
||||
* Determines if the currently selected word should be highlighted.
|
||||
* @param {Boolean} shouldHighlight Set to `true` to highlight the currently selected word
|
||||
|
|
|
|||
|
|
@ -99,10 +99,10 @@ function GutterHandler(mouseHandler) {
|
|||
if (mouseHandler.$tooltipFollowsMouse) {
|
||||
moveTooltip(mouseEvent);
|
||||
} else {
|
||||
gutterElement = gutter.$cells[row].element;
|
||||
var gutterElement = gutter.$cells[row].element;
|
||||
var rect = gutterElement.getBoundingClientRect();
|
||||
var tooltipLeft = rect.right;
|
||||
var tooltipTop = rect.top + Math.round(rect.height / 2);
|
||||
var tooltipTop = rect.bottom;
|
||||
tooltip.style.left = tooltipLeft + "px";
|
||||
tooltip.style.top = tooltipTop - 5 + "px";
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue