diff --git a/plugins/c9.ide.plugins/manager.js b/plugins/c9.ide.plugins/manager.js index 0386922b..a3dc86ab 100644 --- a/plugins/c9.ide.plugins/manager.js +++ b/plugins/c9.ide.plugins/manager.js @@ -142,7 +142,9 @@ define(function(require, exports, module) { hint: "reload plugin last reloaded in plugin manager", exec: function() { var name = getLastReloaded(); - name && reload(name); + if (!name) + return commands.exec("reloadPlugin", null, { panel: plugin }); + reload(name); } }, plugin);