fold on click instead of mousedown
prevents button flickering on chrome
This commit is contained in:
parent
b61ae38c14
commit
2adb8000f5
1 changed files with 1 additions and 1 deletions
|
|
@ -49,7 +49,7 @@ function FoldHandler(editor) {
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
|
|
||||||
editor.on("guttermousedown", function(e) {
|
editor.on("gutterclick", function(e) {
|
||||||
var gutterRegion = editor.renderer.$gutterLayer.getRegion(e);
|
var gutterRegion = editor.renderer.$gutterLayer.getRegion(e);
|
||||||
|
|
||||||
if (gutterRegion == "foldWidgets") {
|
if (gutterRegion == "foldWidgets") {
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue