From f40e7109e55ff3ce647108e4890e763eded6ce82 Mon Sep 17 00:00:00 2001 From: Giovanni Campagna Date: Wed, 22 Aug 2012 15:55:38 +0200 Subject: [PATCH] systemMonitor: update for gnome-shell changes gnome-shell 3.5.90 has a new, bigger, message-tray. Restyle the systemMonitor appropriately to blend in. --- extensions/systemMonitor/extension.js | 3 +-- extensions/systemMonitor/stylesheet.css | 8 +++++--- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/extensions/systemMonitor/extension.js b/extensions/systemMonitor/extension.js index 4a113558..556d798c 100644 --- a/extensions/systemMonitor/extension.js +++ b/extensions/systemMonitor/extension.js @@ -22,7 +22,6 @@ const Indicator = new Lang.Class({ _init: function() { this._initValues(); this.drawing_area = new St.DrawingArea({ reactive: true }); - this.drawing_area.width = 100; this.drawing_area.height = 100; this.drawing_area.connect('repaint', Lang.bind(this, this._draw)); this.drawing_area.connect('button-press-event', function() { let app = Shell.AppSystem.get_default().lookup_app('gnome-system-monitor.desktop'); @@ -30,7 +29,7 @@ const Indicator = new Lang.Class({ }); this.actor = new St.Bin({ style_class: "extension-systemMonitor-indicator-area", - reactive: true}); + reactive: true, x_fill: true, y_fill: true }); this.actor.add_actor(this.drawing_area); this._timeout = Mainloop.timeout_add(INDICATOR_UPDATE_INTERVAL, Lang.bind(this, function () { diff --git a/extensions/systemMonitor/stylesheet.css b/extensions/systemMonitor/stylesheet.css index daad48d1..28ccd979 100644 --- a/extensions/systemMonitor/stylesheet.css +++ b/extensions/systemMonitor/stylesheet.css @@ -2,15 +2,17 @@ spacing: 5px; padding-left: 5px; padding-right: 5px; - padding-bottom: 1px; - padding-top: 0px; + padding-bottom: 10px; + padding-top: 10px; } .extension-systemMonitor-indicator-area { border: 1px solid #8d8d8d; border-radius: 3px; width: 100px; - height: 30px; + /* message tray is 72px, so 20px padding of the container, + 2px of border, makes it 50px */ + height: 50px; -grid-color: #575757; -cpu-total-color: rgb(0,154,62); -cpu-user-color: rgb(69,154,0);