From 7f1e926f3cf0e9bb9e1c4b7c2aecd8f94f812ab1 Mon Sep 17 00:00:00 2001 From: Robert Krahn Date: Sun, 17 Mar 2013 02:38:27 -0700 Subject: [PATCH] [occur] highlighting occur doc --- lib/ace/occur.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/lib/ace/occur.js b/lib/ace/occur.js index 80b044c6..fd8dbdef 100644 --- a/lib/ace/occur.js +++ b/lib/ace/occur.js @@ -68,6 +68,9 @@ oop.inherits(Occur, Search); occurDoc = new Document(lines); occurDoc.$occur = this; session.setDocument(occurDoc); + session.highlight(null); + session.highlight(options.re); + session._emit('changeBackMarker'); } this.displayOriginal = function(session) {