don't load plugin if loaded

pull/3094/head
yann300 6 years ago
parent b276ab2788
commit 2bbaeb6fa9
  1. 9
      src/app/panels/righthand-panel.js

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

Loading…
Cancel
Save