react to config changes

apps/remix-ide/src/app/plugins/config.ts

@@ -6,7 +6,8 @@ const profile = {
   name: 'config',
   displayName: 'Config',
   description: 'Config',
-  methods: ['getAppParameter', 'setAppParameter']
+  methods: ['getAppParameter', 'setAppParameter'],
+  events: ['configChanged']
 }
 
 export class ConfigPlugin extends Plugin {

apps/remix-ide/src/app/plugins/parser/code-parser.tsx

@@ -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() 
     }
 
     /**

apps/remix-ide/src/app/tabs/settings-tab.tsx

@@ -32,6 +32,9 @@ module.exports = class SettingsTab extends ViewPlugin {
   constructor (config, editor) {
     super(profile)
     this.config = config
+    this.config.events.on('configChanged', (changedConfig) => {
+      this.emit('configChanged', changedConfig)
+    })
     this.editor = editor
     this._deps = {
       themeModule: Registry.getInstance().get('themeModule').api

apps/remix-ide/src/config.js

@@ -3,7 +3,7 @@
 var CONFIG_FILE = '.remix.config'
 const EventEmitter = require('events')
 
-function Config (storage) {
+function Config(storage) {
   this.items = {}
   this.unpersistedItems = {}
   this.events = new EventEmitter()
@@ -30,6 +30,7 @@ function Config (storage) {
     this.items[key] = content
     try {
       storage.set(CONFIG_FILE, JSON.stringify(this.items))
+      this.events.emit('configChanged', { key, content })
       this.events.emit(key + '_changed', content)
     } catch (exception) {
       /* Do nothing. */