[occur] highlighting occur doc

2013-03-17 02:38:27 -07:00 · 2013-03-17 02:38:27 -07:00 · 7f1e926f3c
commit 7f1e926f3c
parent 2ba388ed04
1 changed files with 3 additions and 0 deletions
--- 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) {