Open preferences if no known last plugin

This commit is contained in:
Lennart Kats 2015-11-29 15:13:55 +00:00
parent e4fa9dd60e
commit 6d0801d590

View File

@ -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);