| /plugin/moaieditor/scripts/match/ |
| D | matches.js | 17 …this.startline = 0; // First starting line to be parsed after the preview response has bee…
26 add (type, handle, startline, endline, syntax=null) { argument
31 startline : this.startline + startline, property
32 endline : this.startline + endline,
47 var startline = 0;
49 startline = top.endline + 1;
50 this.startline = startline;
53 endline = bottom.startline-1;
56 this.removeMatches(startline, endline, true);
60 this.matcher.onAjax (top, bottom, startline, endline);
[all …]
|
| D | match_paragraphs.js | 85 const startline = this.outer.startline + score.block.start;
86 const endline = this.outer.startline + score.block.end;
87 this.outer.outer.matches.add (type, handle, startline, endline, 'paragraph');
|
| D | matcher.js | 21 onAjax(top, bottom, startline, endline) { argument
26 this.lines = moaiEditor.editor.current.watcher.lines.slice(startline, endline);
139 this.startline = null; // Start line of this section in the main text
160 this.startline = start;
|
| /plugin/moaieditor/scripts/scroll/ |
| D | scroll.js | 104 this.left.linenum = match.startline;
106 … this.scroll = {type:'toc', startline:match.startline, endline:match.endline, element:element}; property
135 this.left.startline = match.startline;
138 … this.scroll = {type:'click', startline:match.startline, endline:match.endline, element:element}; property
149 let top = editor.getLineRect(this.startline, 'viewport').top;
|
| D | scroll_sync.js | 125 linenum = match.startline;
|
| /plugin/moaieditor/scripts/ |
| D | dirty.js | 113 var startline = 0;
115 startline = top.endline;
120 endline = bottom.startline-1;
123 const slice = lines.slice(startline, endline+1);
332 if (match.startline > change.index.keeplast)
333 if (bottom === null || match.startline < bottom.startline)
365 const topline = state.top?.startline;
|
| D | mirror.js | 165 for (let i=match.startline; i<=match.endline; i++) {
173 removeMatches(startline, endline) { argument
176 for (let i=startline; i<=endline; i++) {
208 const start = this.getLineRect(data.startline);
|
| /plugin/simplechat/ |
| D | ajax.php | 57 $startline = $_GET['start']; variable
62 if( $linecount >= $startline ) $result .= $line;
66 if( $startline > $linecount ) {
|
| /plugin/jdraw/lib/ |
| D | apache-mime4j-0.6.jar | META-INF/MANIFEST.MF
META-INF/HAMMURAP.SF
META-INF/HAMMURAP ... |
| /plugin/jcapture/lib/ |
| D | apache-mime4j-0.6.jar | META-INF/MANIFEST.MF
META-INF/HAMMURAP.SF
META-INF/HAMMURAP ... |
| /plugin/moaieditor/plugins/codemirror/ |
| D | cm_main.js | 183 removeMatches(startline, endline) { argument
211 const start = this.getLineRect(data.startline);
|
| /plugin/diagramsnet/lib/WEB-INF/lib/ |
| D | jstl-1.2.jar | META-INF/
META-INF/MANIFEST.MF
META-INF/LICENSE.txt
javax ... |
| /plugin/strata/ |
| H A D | plotly-2.25.2.min.js | 8 …startline:{valType:"boolean",editType:"calc"},startlinecolor:{valType:"color",editType:"calc"},sta…
|