don't load plugin if loaded

pull/1/head
yann300 6 years ago
parent d63efbc8fd
commit f18ee02ecd
  1. 9
      src/app/panels/righthand-panel.js

@ -76,8 +76,13 @@ module.exports = class RighthandPanel {
}) })
self.event.register('plugin-name-loadRequest', name => { self.event.register('plugin-name-loadRequest', name => {
if (plugins[name]) { var plugin = plugins[name]
self.loadPlugin(plugins[name]) if (plugin) {
if (!self._components.pluginManager.plugins[plugin.title]) {
self.loadPlugin(plugin)
} else {
toolTip(name + ' already loaded')
}
} else { } else {
toolTip('unknown plugin ' + name) toolTip('unknown plugin ' + name)
} }

Loading…
Cancel
Save