(editorId: number, newSource: string)
| 312 | } |
| 313 | |
| 314 | onNewSource(editorId: number, newSource: string): void { |
| 315 | if (this.id === editorId) { |
| 316 | this.setSource(newSource); |
| 317 | } |
| 318 | } |
| 319 | |
| 320 | getSource(): string | undefined { |
| 321 | return this.editor.getModel()?.getValue(); |