Lines Matching +full:add +full:- +full:matcher

20         this.matcher = new MoaiEditor.Matcher(this);
26     add (type, handle, startline, endline, syntax=null) {  method in MoaiEditor.Matches
51         var endline = editor.watcher.lines.length-1;
53             endline = bottom.startline-1;
58         // Run matcher
60         this.matcher.onAjax (top, bottom, startline, endline);
63         this.matches.sort((a, b) => (a.startline > b.startline) ? 1 : -1);
78         const elapsed = Date.now() - start;
90         const end = change.index.keeplast-1;
93         // Shift the line-numbers and scroll-points of the matches (below the changed zone)
103                         shift = editor.getLineRect(match.startline).top - match.scroll.top;
167             var element = moaiEditor.createHTML('<div class="moaied-scrollpoint"></div>');
169             element.style.height = (match.scroll.bottom - match.scroll.top)+'px';
176             const elapsed = Date.now()-this.start;