do not show gutter tooltip while selecting
This commit is contained in:
parent
8edefd21a7
commit
a44236cfcc
2 changed files with 4 additions and 1 deletions
|
|
@ -130,7 +130,7 @@ function GutterHandler(mouseHandler) {
|
|||
return;
|
||||
tooltipTimeout = setTimeout(function() {
|
||||
tooltipTimeout = null;
|
||||
if (mouseEvent)
|
||||
if (mouseEvent && !mouseHandler.isMousePressed)
|
||||
showTooltip();
|
||||
else
|
||||
hideTooltip();
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue