(persist?: boolean)
| 2413 | } |
| 2414 | |
| 2415 | eval(persist?: boolean) { |
| 2416 | if(this.notices.length) { |
| 2417 | this.notices = []; |
| 2418 | this.render(); |
| 2419 | this.editor.cm.refresh(); |
| 2420 | } |
| 2421 | if(this.onEval) this.onEval(this, persist); |
| 2422 | } |
| 2423 | |
| 2424 | tokenInfo() { |
| 2425 | let doc = this.editor.cm.getDoc(); |