fix typo in gutterLineHighlight option setter
This commit is contained in:
parent
91ed9f336a
commit
f4b7fcc77d
1 changed files with 6 additions and 3 deletions
|
|
@ -1373,15 +1373,18 @@ config.defineOptions(VirtualRenderer.prototype, "renderer", {
|
||||||
set: function(shouldHighlight) {
|
set: function(shouldHighlight) {
|
||||||
if (!this.$gutterLineHighlight) {
|
if (!this.$gutterLineHighlight) {
|
||||||
this.$gutterLineHighlight = dom.createElement("div");
|
this.$gutterLineHighlight = dom.createElement("div");
|
||||||
this.$gutterLineHighlight.className = "ace_gutter_active_line";
|
this.$gutterLineHighlight.className = "ace_gutter-active-line";
|
||||||
this.$gutter.appendChild(this.$gutterLineHighlight);
|
this.$gutter.appendChild(this.$gutterLineHighlight);
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
this.$gutterLineHighlight.style.display = shouldHighlight ? "" : "none";
|
this.$gutterLineHighlight.style.display = shouldHighlight ? "" : "none";
|
||||||
this.$cursorLayer.$pixelPos && this.$updateGutterLineHighlight();
|
// if cursorlayer have never been updated there's nothing on screen to update
|
||||||
|
if (this.$cursorLayer.$pixelPos)
|
||||||
|
this.$updateGutterLineHighlight();
|
||||||
},
|
},
|
||||||
initialValue: false
|
initialValue: false,
|
||||||
|
value: true
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue