From c8a81787e3efbf6842de52b877511a249d09db95 Mon Sep 17 00:00:00 2001 From: nightwing Date: Tue, 2 May 2017 22:10:38 +0400 Subject: [PATCH] tweak ui --- plugins/c9.ide.plugins/gui.js | 55 +++++++++++++++++++++---------- plugins/c9.ide.plugins/manager.js | 3 ++ plugins/c9.ide.plugins/style.css | 4 +++ 3 files changed, 44 insertions(+), 18 deletions(-) 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 services [' + provided.length + ']

\ + var serviceDesc = '

Provided services [' + provided.length + ']

\

' + (provided.length ? formatServices(provided) : "") + '

\ -

Consumed services [' + (consumedList.length - provided.length) + ']

\ +

Consumed services [' + (consumedList.length - provided.length) + ']

\

' + consumedGroups.map(formatServices).join("
") + '

\ -

Dependent services [' + (depList.length - provided.length) + ']

\ +

Dependent services [' + (depList.length - provided.length) + ']

\

' + depGroups.map(formatServices).join("
") + '

\
'; descriptionBar.$ext.innerHTML = '