fix lint

apps/remix-ide/src/app/files/electronProvider.ts

@@ -18,25 +18,25 @@ export class ElectronProvider extends FileProvider {
   async init() {
     this._appManager.on('fs', 'change', (event, path) => {
       switch (event) {
-        case 'add':
-          this.event.emit('fileAdded', path)
-          break
-        case 'unlink':
-          this.event.emit('fileRemoved', path)
-          break
-        case 'change':
-          this.get(path, (_error, content) => {
-            this.event.emit('fileExternallyChanged', path, content, false)
-          })
-          break
-        case 'rename':
-          this.event.emit('fileRenamed', path)
-          break
-        case 'addDir':
-          this.event.emit('folderAdded', path)
-          break
-        case 'unlinkDir':
-          this.event.emit('fileRemoved', path)
+      case 'add':
+        this.event.emit('fileAdded', path)
+        break
+      case 'unlink':
+        this.event.emit('fileRemoved', path)
+        break
+      case 'change':
+        this.get(path, (_error, content) => {
+          this.event.emit('fileExternallyChanged', path, content, false)
+        })
+        break
+      case 'rename':
+        this.event.emit('fileRenamed', path)
+        break
+      case 'addDir':
+        this.event.emit('folderAdded', path)
+        break
+      case 'unlinkDir':
+        this.event.emit('fileRemoved', path)
       }
     })
   }

apps/remix-ide/src/app/plugins/electron/isoGitPlugin.ts

@@ -14,15 +14,15 @@ export class isoGitPlugin extends ElectronPlugin {
   async onActivation(): Promise<void> {
 
     setTimeout(async () => {
-    const version = await this.call('isogit', 'version')
-    if(version){
+      const version = await this.call('isogit', 'version')
+      if(version){
       //this.call('terminal', 'log', version)
-    }else{
+      }else{
       //this.call('terminal', 'log', 'Git is not installed on the system. Using builtin git instead. Performance will be affected. It is better to install git on the system and configure the credentials to connect to GitHub etc.')
-    }
+      }
   
   
-  }, 5000)
+    }, 5000)
   }