(newSource: string)
| 304 | } |
| 305 | |
| 306 | setSource(newSource: string): void { |
| 307 | this.updateSource(newSource); |
| 308 | |
| 309 | if (window.compilerExplorerOptions.mobileViewer) { |
| 310 | $(this.domRoot.find('.monaco-placeholder textarea')).hide(); |
| 311 | } |
| 312 | } |
| 313 | |
| 314 | onNewSource(editorId: number, newSource: string): void { |
| 315 | if (this.id === editorId) { |
no test coverage detected