Merge pull request #269 from jviereck/activeline
Fixes the "active line" to be updated in some edge cases.
This commit is contained in:
commit
9e021d21d9
1 changed files with 5 additions and 0 deletions
|
|
@ -346,6 +346,8 @@ var Editor =function(renderer, session) {
|
|||
var range = this.selection.getRange();
|
||||
var style = this.getSelectionStyle();
|
||||
session.$selectionMarker = session.addMarker(range, "ace_selection", style);
|
||||
} else {
|
||||
this.$updateHighlightActiveLine();
|
||||
}
|
||||
|
||||
if (this.$highlightSelectedWord)
|
||||
|
|
@ -381,6 +383,9 @@ var Editor =function(renderer, session) {
|
|||
};
|
||||
|
||||
this.onChangeFold = function() {
|
||||
// Update the active line marker as due to folding changes the current
|
||||
// line range on the screen might have changed.
|
||||
this.$updateHighlightActiveLine();
|
||||
// TODO: This might be too much updating. Okay for now.
|
||||
this.renderer.updateFull();
|
||||
};
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue