diff options
| author | Michael Lauer <mickey@vanille-media.de> | 2006-11-06 07:42:50 +0000 |
|---|---|---|
| committer | Michael Lauer <mickey@vanille-media.de> | 2006-11-06 07:42:50 +0000 |
| commit | d6ed5ee9f9682d7de5012fac6528f46675cfb43c (patch) | |
| tree | 0804d8877d5dc17adb6be4ad617a531d10d47a3a /packages/gtk+/gtk+-2.6.10/menu-styling.patch | |
| parent | a9c8c4187d22b0420bb6e40bbd699cb5fa7af083 (diff) | |
gtk+: remove a couple of obsolete versions, major stable versions remain
gtk+-2.6.10: add menu styling patch based on gtk+ 2.7
Diffstat (limited to 'packages/gtk+/gtk+-2.6.10/menu-styling.patch')
| -rw-r--r-- | packages/gtk+/gtk+-2.6.10/menu-styling.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/packages/gtk+/gtk+-2.6.10/menu-styling.patch b/packages/gtk+/gtk+-2.6.10/menu-styling.patch new file mode 100644 index 0000000000..8f792df190 --- /dev/null +++ b/packages/gtk+/gtk+-2.6.10/menu-styling.patch @@ -0,0 +1,22 @@ +# +# This patch improves menu styling (based on version in 2.7.0 +# which features a background pixmap for the menu). ---Mickey. +# +--- gtk+-2.6.10/gtk/gtkmenu.c 2005-08-18 16:10:58.000000000 +0200 ++++ gtk+-2.7.0/gtk/gtkmenu.c 2005-04-07 21:56:57.000000000 +0200 +@@ -2490,6 +2495,15 @@ + arrow_size, arrow_size); + } + } ++ else if (event->window == menu->bin_window) ++ { ++ gtk_paint_box (widget->style, ++ menu->bin_window, ++ GTK_STATE_NORMAL, ++ GTK_SHADOW_OUT, ++ NULL, widget, "menu", ++ -border_x, -border_y, width, height); ++ } + } + + static gboolean |