Merge pull request #1213 from ethereum/targets2

targets
pull/1166/head^2
bunsenstraat 4 years ago committed by GitHub
commit 325bfd3370
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 6
      apps/remix-ide/src/remixAppManager.js

@ -111,6 +111,12 @@ export class RemixAppManager extends PluginManager {
try {
const res = await fetch(this.pluginsDirectory)
plugins = await res.json()
plugins = plugins.filter((plugin) => {
if (plugin.targets && Array.isArray(plugin.targets) && plugin.targets.length > 0) {
return (plugin.targets.includes('remix'))
}
return true
})
localStorage.setItem('plugins-directory', JSON.stringify(plugins))
} catch (e) {
console.log('getting plugins list from localstorage...')

Loading…
Cancel
Save