[gnome-shell-extensions/wip/window-list: 3/14] Make window icons bigger
- From: Florian MÃllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions/wip/window-list: 3/14] Make window icons bigger
- Date: Wed, 30 Jan 2013 17:47:55 +0000 (UTC)
commit 4919d8111ef6a06762011a1edca2b7df4e8471ee
Author: Florian MÃllner <fmuellner gnome org>
Date: Thu Jan 17 18:00:07 2013 +0100
Make window icons bigger
extensions/window-list/extension.js | 1 +
extensions/window-list/stylesheet.css | 13 ++++++++++---
2 files changed, 11 insertions(+), 3 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index ff77bcf..2ebd9ed 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -146,6 +146,7 @@ const WindowList = new Lang.Class({
_init: function() {
this.actor = new St.Widget({ name: 'panel',
+ style_class: 'bottom-panel',
reactive: true,
track_hover: true,
layout_manager: new Clutter.BinLayout()});
diff --git a/extensions/window-list/stylesheet.css b/extensions/window-list/stylesheet.css
index dae184a..d69a326 100644
--- a/extensions/window-list/stylesheet.css
+++ b/extensions/window-list/stylesheet.css
@@ -1,3 +1,10 @@
+.bottom-panel {
+ /* .window-button-icon height +
+ .window-button vertical padding +
+ .window-button > StWidget vertical padding) */
+ height: 30px;
+}
+
.window-list {
spacing: 2px;
font-size: 10pt;
@@ -20,7 +27,7 @@
color: #bbb;
background-color: black;
border-radius: 4px;
- padding: 2px 6px;
+ padding: 3px 6px 1px;
box-shadow: inset 1px 1px 4px rgba(255,255,255,0.5);
text-shadow: 1px 1px 4px rgba(0,0,0,0.8);
spacing: 4px;
@@ -54,8 +61,8 @@
}
.window-button-icon {
- width: 16px;
- height: 16px;
+ width: 24px;
+ height: 24px;
}
.tray-button {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]