[incremental search] cleaner render update
This commit is contained in:
parent
832d30c97c
commit
236a1e5f7b
1 changed files with 2 additions and 2 deletions
|
|
@ -106,7 +106,7 @@ oop.inherits(IncrementalSearch, Search);
|
|||
this.$currentPos = this.$startPos;
|
||||
}
|
||||
e.session.highlight(null);
|
||||
e.renderer.updateBackMarkers(); // force highlight layer redraw
|
||||
e.session._emit("changeBackMarker"); // force highlight layer redraw
|
||||
return Range.fromPoints(this.$currentPos, this.$currentPos);
|
||||
}
|
||||
|
||||
|
|
@ -134,7 +134,7 @@ oop.inherits(IncrementalSearch, Search);
|
|||
// highlight after cursor move, so selection works properly
|
||||
// also force highlight layer redraw
|
||||
session.highlight(options.re);
|
||||
this.$editor.renderer.updateBackMarkers();
|
||||
session._emit("changeBackMarker");
|
||||
}
|
||||
|
||||
this.statusMessage(found);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue