diff --git a/lib/ace/editor.js b/lib/ace/editor.js index a9cbc7f1..2426247d 100644 --- a/lib/ace/editor.js +++ b/lib/ace/editor.js @@ -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 diff --git a/lib/ace/mouse/default_gutter_handler.js b/lib/ace/mouse/default_gutter_handler.js index d9e90297..1ce8aaab 100644 --- a/lib/ace/mouse/default_gutter_handler.js +++ b/lib/ace/mouse/default_gutter_handler.js @@ -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"; }