()
| 348 | protected view?: EditorView; |
| 349 | |
| 350 | public lock() { |
| 351 | requestAnimationFrame(() => { |
| 352 | if (this.view) { |
| 353 | this.view.dispatch({ |
| 354 | effects: this.lockCompartment.reconfigure([ |
| 355 | EditorState.readOnly.of(true), |
| 356 | ]), |
| 357 | }); |
| 358 | } |
| 359 | }); |
| 360 | } |
| 361 | |
| 362 | public unlock() { |
| 363 | requestAnimationFrame(() => { |