From 6d0801d590a43a55bdece5dba6992ce32fef93b3 Mon Sep 17 00:00:00 2001
From: Lennart Kats <lclkats@gmail.com>
Date: Sun, 29 Nov 2015 15:13:55 +0000
Subject: [PATCH] Open preferences if no known last plugin

---
 plugins/c9.ide.plugins/manager.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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