* 更新主题
(isDark: boolean)
| 1352 | * 更新主题 |
| 1353 | */ |
| 1354 | private updateTheme(isDark: boolean): void { |
| 1355 | this.cm.dispatch({ |
| 1356 | effects: this.themeCompartment.reconfigure(createThemeExtension(isDark)), |
| 1357 | }); |
| 1358 | } |
| 1359 | |
| 1360 | /** |
| 1361 | * 更新搜索高亮(将 ProseMirror 搜索状态映射到 CodeMirror 装饰) |
no test coverage detected