fix #1711 Double click on foldWidgets region can paint whole gutter in red.
This commit is contained in:
parent
45c4bdcb2e
commit
133db3cfe0
1 changed files with 5 additions and 2 deletions
|
|
@ -747,8 +747,11 @@ function Folding() {
|
||||||
};
|
};
|
||||||
|
|
||||||
var range = this.$toggleFoldWidget(row, options);
|
var range = this.$toggleFoldWidget(row, options);
|
||||||
if (!range)
|
if (!range) {
|
||||||
(e.target || e.srcElement).className += " ace_invalid";
|
var el = (e.target || e.srcElement)
|
||||||
|
if (el && /ace_fold-widget/.test(el.className))
|
||||||
|
el.className += " ace_invalid";
|
||||||
|
}
|
||||||
};
|
};
|
||||||
|
|
||||||
this.$toggleFoldWidget = function(row, options) {
|
this.$toggleFoldWidget = function(row, options) {
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue