|
|
|
@ -147,8 +147,25 @@ export class CodeParser extends Plugin { |
|
|
|
|
this.compilerService.compiler.loadVersion(true, `${url}?t=${Date.now()}`) |
|
|
|
|
}) |
|
|
|
|
|
|
|
|
|
this.on('config', 'configChanged', async (config) => { |
|
|
|
|
await this.reload() |
|
|
|
|
}) |
|
|
|
|
|
|
|
|
|
this.on('settings', 'configChanged', async (config) => { |
|
|
|
|
await this.reload() |
|
|
|
|
}) |
|
|
|
|
|
|
|
|
|
await this.compilerService.init() |
|
|
|
|
this.on('solidity', 'compilerLoaded', async () => {
|
|
|
|
|
await this.reload() |
|
|
|
|
}) |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
async reload(){ |
|
|
|
|
await this.call('editor', 'discardLineTexts') |
|
|
|
|
await this.call('fileDecorator', 'clearFileDecorators') |
|
|
|
|
await this.call('editor', 'clearErrorMarkers', [this.currentFile]) |
|
|
|
|
await this.handleChangeEvents()
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
/** |
|
|
|
|