diff --git a/apps/remix-ide/index.html b/apps/remix-ide/index.html deleted file mode 100644 index 7f164de2f8..0000000000 --- a/apps/remix-ide/index.html +++ /dev/null @@ -1,109 +0,0 @@ - - - - - - - - Remix - Ethereum IDE - - - - - - - - - - - - diff --git a/apps/remix-ide/src/app/components/plugin-manager-component.js b/apps/remix-ide/src/app/components/plugin-manager-component.js index 21325c018e..e3d519b55a 100644 --- a/apps/remix-ide/src/app/components/plugin-manager-component.js +++ b/apps/remix-ide/src/app/components/plugin-manager-component.js @@ -187,6 +187,7 @@ class PluginManagerComponent extends ViewPlugin { // Filtering helpers const isFiltered = (profile) => (profile.displayName ? profile.displayName : profile.name).toLowerCase().includes(this.filter) const isNotRequired = (profile) => !this.appManager.isRequired(profile.name) + const isNotDependent = (profile) => !this.appManager.isDependent(profile.name) const isNotHome = (profile) => profile.name !== 'home' const sortByName = (profileA, profileB) => { const nameA = ((profileA.displayName) ? profileA.displayName : profileA.name).toUpperCase() @@ -198,6 +199,7 @@ class PluginManagerComponent extends ViewPlugin { const { actives, inactives } = this.appManager.getAll() .filter(isFiltered) .filter(isNotRequired) + .filter(isNotDependent) .filter(isNotHome) .sort(sortByName) .reduce(({ actives, inactives }, profile) => { diff --git a/apps/remix-ide/src/app/panels/tab-proxy.js b/apps/remix-ide/src/app/panels/tab-proxy.js index e1bf88a33b..bc4970b266 100644 --- a/apps/remix-ide/src/app/panels/tab-proxy.js +++ b/apps/remix-ide/src/app/panels/tab-proxy.js @@ -4,6 +4,7 @@ const $ = require('jquery') const EventEmitter = require('events') const globalRegistry = require('../../global/registry') const csjs = require('csjs-inject') +const helper = require('../../lib/helper') require('remix-tabs') const css = csjs` @@ -192,7 +193,8 @@ export class TabProxy extends Plugin { id: duplicateTabName, title: duplicateTabTitle, icon, - tooltip: duplicateTabName + tooltip: duplicateTabName, + iconClass: helper.getPathIcon(duplicateTabName) }) } break @@ -209,7 +211,8 @@ export class TabProxy extends Plugin { id: name, title, icon, - tooltip: name + tooltip: name, + iconClass: helper.getPathIcon(name) }) this.updateImgStyles() this._handlers[name] = { switchTo, close } diff --git a/apps/remix-ide/src/app/tabs/compileTab/compilerContainer.js b/apps/remix-ide/src/app/tabs/compileTab/compilerContainer.js index 67b1685a14..4d65b48753 100644 --- a/apps/remix-ide/src/app/tabs/compileTab/compilerContainer.js +++ b/apps/remix-ide/src/app/tabs/compileTab/compilerContainer.js @@ -439,7 +439,7 @@ class CompilerContainer { } _updateVersionSelector (customUrl = '') { - // update selectedversion of previous one got filtered out + // update selectedversion if previous one got filtered out if (!this.data.selectedVersion || !this._shouldBeAdded(this.data.selectedVersion)) { this.data.selectedVersion = this.data.defaultVersion } diff --git a/apps/remix-ide/src/index.html b/apps/remix-ide/src/index.html index 9aceccbe7b..8d28e60633 100644 --- a/apps/remix-ide/src/index.html +++ b/apps/remix-ide/src/index.html @@ -36,10 +36,9 @@