From 236a1e5f7b364dc75caf77869ace1e88e473769b Mon Sep 17 00:00:00 2001 From: Robert Krahn Date: Sun, 17 Mar 2013 06:10:32 -0700 Subject: [PATCH] [incremental search] cleaner render update --- lib/ace/incremental_search.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/ace/incremental_search.js b/lib/ace/incremental_search.js index aa75c592..efff41ea 100644 --- a/lib/ace/incremental_search.js +++ b/lib/ace/incremental_search.js @@ -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);