From cb6f4e1a7f12031b4b31e64e9031ab2d7788cceb Mon Sep 17 00:00:00 2001 From: ioedeveloper Date: Thu, 4 Jun 2020 08:14:41 +0000 Subject: [PATCH] Websocket plugin activation --- src/app.js | 7 +++++-- src/app/files/fileManager.js | 14 +++++++------- 2 files changed, 12 insertions(+), 9 deletions(-) diff --git a/src/app.js b/src/app.js index 29c91513dd..0d623a6968 100644 --- a/src/app.js +++ b/src/app.js @@ -42,7 +42,7 @@ import { basicLogo } from './app/ui/svgLogo' import { RunTab, makeUdapp } from './app/udapp' import PanelsResize from './lib/panels-resize' -import { Engine } from '@remixproject/engine' +import { Engine, WebsocketPlugin } from '@remixproject/engine' import { RemixAppManager } from './remixAppManager' import { FramingService } from './framingService' import { MainView } from './app/panels/main-view' @@ -155,6 +155,7 @@ class App { self._components.filesProviders['localhost'] = new RemixDProvider(self.appManager) registry.put({api: self._components.filesProviders['localhost'], name: 'fileproviders/localhost'}) + console.log('self._components.filesProviders: ', self._components.filesProviders) registry.put({api: self._components.filesProviders, name: 'fileproviders'}) migrateFileSystem(self._components.filesProviders['browser']) @@ -305,6 +306,7 @@ Please make a backup of your contracts and start using http://remix.ethereum.org makeUdapp(blockchain, compilersArtefacts, (domEl) => terminal.logHtml(domEl)) const contextualListener = new ContextualListener({editor}) + const { remixd } = self._components engine.register([ contentImport, @@ -318,7 +320,8 @@ Please make a backup of your contracts and start using http://remix.ethereum.org contextualListener, terminal, web3Provider, - fetchAndCompile + fetchAndCompile, + remixd ]) // LAYOUT & SYSTEM VIEWS diff --git a/src/app/files/fileManager.js b/src/app/files/fileManager.js index 6699179c06..3d17d7c12c 100644 --- a/src/app/files/fileManager.js +++ b/src/app/files/fileManager.js @@ -266,13 +266,13 @@ class FileManager extends Plugin { localhostExplorer: this._components.registry.get('fileproviders/localhost').api, filesProviders: this._components.registry.get('fileproviders').api } - this._deps.browserExplorer.event.register('fileChanged', (path) => { this.fileChangedEvent(path) }) - this._deps.browserExplorer.event.register('fileRenamed', (oldName, newName, isFolder) => { this.fileRenamedEvent(oldName, newName, isFolder) }) - this._deps.localhostExplorer.event.register('fileRenamed', (oldName, newName, isFolder) => { this.fileRenamedEvent(oldName, newName, isFolder) }) - this._deps.browserExplorer.event.register('fileRemoved', (path) => { this.fileRemovedEvent(path) }) - this._deps.localhostExplorer.event.register('fileRemoved', (path) => { this.fileRemovedEvent(path) }) - this._deps.localhostExplorer.event.register('errored', (event) => { this.removeTabsOf(this._deps.localhostExplorer) }) - this._deps.localhostExplorer.event.register('closed', (event) => { this.removeTabsOf(this._deps.localhostExplorer) }) + // this._deps.browserExplorer.event.register('fileChanged', (path) => { this.fileChangedEvent(path) }) + // this._deps.browserExplorer.event.register('fileRenamed', (oldName, newName, isFolder) => { this.fileRenamedEvent(oldName, newName, isFolder) }) + // this._deps.localhostExplorer.event.register('fileRenamed', (oldName, newName, isFolder) => { this.fileRenamedEvent(oldName, newName, isFolder) }) + // this._deps.browserExplorer.event.register('fileRemoved', (path) => { this.fileRemovedEvent(path) }) + // this._deps.localhostExplorer.event.register('fileRemoved', (path) => { this.fileRemovedEvent(path) }) + // this._deps.localhostExplorer.event.register('errored', (event) => { this.removeTabsOf(this._deps.localhostExplorer) }) + // this._deps.localhostExplorer.event.register('closed', (event) => { this.removeTabsOf(this._deps.localhostExplorer) }) this.getCurrentFile = this.file this.getFile = this.readFile this.getFolder = this.readdir