diff --git a/plugins/c9.ide.plugins/gui.js b/plugins/c9.ide.plugins/gui.js index c5d44207..a2bcb846 100644 --- a/plugins/c9.ide.plugins/gui.js +++ b/plugins/c9.ide.plugins/gui.js @@ -71,6 +71,7 @@ define(function(require, exports, module) { var btnReadme; var btnReloadLast; var localPlugins; + var btnSettings; var loaded = false; function load() { @@ -495,11 +496,11 @@ define(function(require, exports, module) { } descriptionBar.$ext.style.overflow = "auto"; - var serviceDesc = '
' + (provided.length ? formatServices(provided) : "") + '
\ -' + consumedGroups.map(formatServices).join("
") + '
' + depGroups.map(formatServices).join("
") + '