diff --git a/src/app.js b/src/app.js index e1a1d3c6df..cecb13aa1c 100644 --- a/src/app.js +++ b/src/app.js @@ -337,7 +337,7 @@ Please make a backup of your contracts and start using http://remix.ethereum.org ...appManager.registeredPlugins() ]) - await appManager.activate(['contentImport', 'theme', 'sourceHighlighters', 'fileManager', 'compilerMetadata', 'compilerArtefacts', 'network', 'offsetToLineColumnConverter']) + await appManager.activate(['contentImport', 'theme', 'editor', 'fileManager', 'compilerMetadata', 'compilerArtefacts', 'network', 'offsetToLineColumnConverter']) await appManager.activate(['mainPanel']) await appManager.activate(['menuicons', 'home', 'sidePanel', 'pluginManager', 'fileExplorers', 'settings']) diff --git a/src/app/editor/SourceHighlighters.js b/src/app/editor/SourceHighlighters.js index 2d4b6a9d7c..623840d0f2 100644 --- a/src/app/editor/SourceHighlighters.js +++ b/src/app/editor/SourceHighlighters.js @@ -5,8 +5,8 @@ import { Plugin } from '@remixproject/engine' import * as packageJson from '../../../package.json' const profile = { - displayName: 'source highlighters', - name: 'sourceHighlighters', + displayName: 'Editor', + name: 'editor', description: 'service - highlight source code', version: packageJson.version, methods: ['highlight', 'discardHighlight'] diff --git a/src/remixAppManager.js b/src/remixAppManager.js index ab58a41666..10401b7d56 100644 --- a/src/remixAppManager.js +++ b/src/remixAppManager.js @@ -4,7 +4,7 @@ import { EventEmitter } from 'events' import { PermissionHandler } from './app/ui/persmission-handler' const requiredModules = [ // services + layout views + system views - 'compilerArtefacts', 'compilerMetadata', 'contextualListener', 'sourceHighlighters', 'offsetToLineColumnConverter', 'network', 'theme', 'fileManager', 'contentImport', + 'compilerArtefacts', 'compilerMetadata', 'contextualListener', 'editor', 'offsetToLineColumnConverter', 'network', 'theme', 'fileManager', 'contentImport', 'mainPanel', 'hiddenPanel', 'sidePanel', 'menuicons', 'fileExplorers', 'terminal', 'settings', 'pluginManager']