[gnome-shell-extensions/legacy-colors: 3/7] Add back :overview style to panel
- From: Florian MÃllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions/legacy-colors: 3/7] Add back :overview style to panel
- Date: Tue, 22 Jan 2013 16:46:50 +0000 (UTC)
commit a98400941634ed0658dd7b40da2ae31b3731debe
Author: Florian MÃllner <fmuellner gnome org>
Date: Tue Jan 22 17:06:13 2013 +0100
Add back :overview style to panel
This was removed upstream a while after the default style stopped
using it.
extensions/legacy-colors/extension.js | 20 ++++++++++++++++++++
extensions/legacy-colors/stylesheet.css | 3 +--
2 files changed, 21 insertions(+), 2 deletions(-)
---
diff --git a/extensions/legacy-colors/extension.js b/extensions/legacy-colors/extension.js
index cb8907e..7a805dc 100644
--- a/extensions/legacy-colors/extension.js
+++ b/extensions/legacy-colors/extension.js
@@ -3,10 +3,30 @@ const Main = imports.ui.main;
function init() {
}
+var overviewShownId = 0;
+var overviewHidingId = 0;
+
function enable() {
+ overviewShownId = Main.overview.connect('showing',
+ function() {
+ Main.panel.actor.add_style_pseudo_class('overview');
+ });
+ overviewHidingId = Main.overview.connect('hiding',
+ function() {
+ Main.panel.actor.remove_style_pseudo_class('overview');
+ });
+
Main.loadTheme();
}
function disable() {
+ if (overviewShownId)
+ Main.overview.disconnect(overviewShownId);
+ overviewShownId = 0;
+
+ if (overviewHidingId)
+ Main.overview.disconnect(overviewHidingId);
+ overviewHidingId = 0;
+
Main.loadTheme();
}
diff --git a/extensions/legacy-colors/stylesheet.css b/extensions/legacy-colors/stylesheet.css
index cc993b0..c0b52ae 100644
--- a/extensions/legacy-colors/stylesheet.css
+++ b/extensions/legacy-colors/stylesheet.css
@@ -1,5 +1,4 @@
/* FIXME:
- - panel should be black and/or more subtle in :overview
- bottom-border for panel seems transparent rather than the given color
- white edge highlight with text-shadow and icon-shadow for panel-button
- better shading of the panel (dark 5%) - impossible without multipoint gradients, image-bg is a hack
@@ -120,4 +119,4 @@
background-color: #4a90d9 !important;
background-image: none !important;
border-image: none !important;
- }
\ No newline at end of file
+ }
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]