better support for editor status
This commit is contained in:
parent
e6655172ef
commit
4946158dc7
8 changed files with 78 additions and 16 deletions
|
|
@ -531,6 +531,8 @@ var Editor = function(renderer, session) {
|
|||
|
||||
var re = this.$highlightSelectedWord && this.$getSelectionHighLightRegexp()
|
||||
this.session.highlight(re);
|
||||
|
||||
this._emit("changeSelection");
|
||||
};
|
||||
|
||||
this.$getSelectionHighLightRegexp = function() {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue