Attachment 575929 Details for Bug 741355 – hack to have borders around menus

[patch] hack to have borders around menus

gnome-themes-standard-3.4.0-menu-borders.patch (text/plain), 1.42 KB, created by Edward Sheldrake on 2012-04-07 14:20:31 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Edward Sheldrake

Created: 2012-04-07 14:20:31 UTC

Size: 1.42 KB

patch

obsolete

>--- gnome-themes-standard-3.4.0/themes/Adwaita/gtk-3.0/gtk-widgets.css.orig	2012-04-07 09:21:14.733300321 +0100
>+++ gnome-themes-standard-3.4.0/themes/Adwaita/gtk-3.0/gtk-widgets.css	2012-04-07 09:25:36.094876178 +0100
>@@ -1574,7 +1574,9 @@
>     background-color: @menu_bg_color;
>     color: @menu_fg_color;
>     padding: 0;
>-    border-style: none;
>+    border-style: solid;
>+    border-width: 1px 1px 1px 1px;
>+    border-color: darker (@theme_bg_color);
> }
> 
> .menu.button {
>@@ -1583,7 +1585,6 @@
>     color: @internal_element_color;
> 
>     border-image: none;
>-    border-style: none;
> }
> 
> .menu.button:hover {
>@@ -1592,7 +1593,6 @@
>     color: @theme_text_color;
> 
>     border-image: none;
>-    border-style: none;
> }
> 
> .menu.button:insensitive {
>@@ -1600,12 +1600,10 @@
>     color: lighter(@internal_element_color);
> 
>     border-image: none;
>-    border-style: none;
> }
> 
> /* this controls the general appearance of the menubar */
> .menubar {
>-    border-style: none;
>     padding: 4px;
> 
>     -GtkWidget-window-dragging: true;
>@@ -1613,7 +1611,6 @@
> }
> 
> .menubar .menuitem {
>-    border-style: none;
>     padding: 3px 5px;
> }
> 
>@@ -1791,7 +1788,6 @@
>                                      left top, left bottom,
>                                      from(@theme_bg_color),
>                                      to(shade(@theme_bg_color, 0.96)));*/
>-    border-style: none;
> 
>     -GtkToolbar-button-relief: normal;
>     padding-left: 6px;

Actions: View | Diff

Attachments on bug 741355: 524940 | 524941 | 557774 | 557777 | 557778 | 575929 | 629205 | 748057