[gnome-shell-extensions] style: Overwrite border-radius of tile previews in classic mode
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] style: Overwrite border-radius of tile previews in classic mode
- Date: Tue, 15 Apr 2014 16:07:32 +0000 (UTC)
commit 4ec4bdb0eaa1977456840a380aa478906d45662b
Author: Florian Müllner <fmuellner gnome org>
Date: Wed Apr 9 17:32:50 2014 +0200
style: Overwrite border-radius of tile previews in classic mode
In classic mode, the panel does not have rounded corners; thus
tile previews shouldn't either.
https://bugzilla.gnome.org/show_bug.cgi?id=728273
data/gnome-classic.css | 6 ++++++
1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/data/gnome-classic.css b/data/gnome-classic.css
index a6f2cd2..3ebb630 100644
--- a/data/gnome-classic.css
+++ b/data/gnome-classic.css
@@ -39,6 +39,12 @@
border-top-color: transparent;
}
+.tile-preview-left.on-primary,
+.tile-preview-right.on-primary,
+.tile-preview-left.tile-preview-right.on-primary {
+ /* keep in sync with -panel-corner-radius */
+ border-radius: 0;
+}
/* TOP BAR */
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]