fix focus handling when clicking on foldwidget
This commit is contained in:
parent
869de0d113
commit
2d5ef1f220
2 changed files with 3 additions and 1 deletions
|
|
@ -42,7 +42,7 @@ function GutterHandler(mouseHandler) {
|
|||
return;
|
||||
var gutterRegion = gutter.getRegion(e);
|
||||
|
||||
if (gutterRegion)
|
||||
if (gutterRegion == "foldWidgets")
|
||||
return;
|
||||
|
||||
var row = e.getDocumentPosition().row;
|
||||
|
|
|
|||
|
|
@ -50,6 +50,8 @@ function FoldHandler(editor) {
|
|||
});
|
||||
|
||||
editor.on("guttermousedown", function(e) {
|
||||
if (!editor.isFocused())
|
||||
return;
|
||||
var gutterRegion = editor.renderer.$gutterLayer.getRegion(e);
|
||||
|
||||
if (gutterRegion == "foldWidgets") {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue