[gnome-themes-standard] menubar: fix excessive padding
- From: Cosimo Cecchi <cosimoc src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-themes-standard] menubar: fix excessive padding
- Date: Mon, 17 Dec 2012 10:23:01 +0000 (UTC)
commit 02b3968c2449ba709ba45febe1f1689ccc109ad8
Author: Cosimo Cecchi <cosimoc gnome org>
Date: Mon Dec 17 11:18:05 2012 +0100
menubar: fix excessive padding
GtkMenubar was changed to use the CSS padding in GTK+ git. Adapt the
theme so that the final layout of items on the bar stays the same.
https://bugzilla.gnome.org/show_bug.cgi?id=690306
themes/Adwaita/gtk-3.0/gtk-widgets.css | 4 +---
1 files changed, 1 insertions(+), 3 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css
index 2fe9e22..2245c15 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css
@@ -2240,15 +2240,13 @@ GtkTreeMenu .menuitem,
/* this controls the general appearance of the menubar */
.menubar {
border-style: none;
- padding: 4px;
-GtkWidget-window-dragging: true;
- -GtkMenuBar-internal-padding: 0;
}
.menubar .menuitem {
border-style: none;
- padding: 3px 5px;
+ padding: 3px 8px;
}
/* remove the image from the prelight areas */
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]