(v: string)
| 339 | } |
| 340 | |
| 341 | setEditorConfig(v: string) { |
| 342 | if (v === "") { |
| 343 | this._set("editor_config", editorDefaultConfig); |
| 344 | return; |
| 345 | } |
| 346 | JSON.parse(v); |
| 347 | return this._set("editor_config", v); |
| 348 | } |
| 349 | |
| 350 | // 获取typescript类型定义 |
| 351 | getEditorTypeDefinition(): string { |