From de184a274794fbfe3ddf1c0121daae873ddc4f97 Mon Sep 17 00:00:00 2001 From: freetz Date: Thu, 26 May 2005 10:49:11 +0000 Subject: [PATCH] - obsoleted Changed files: fbpanel-menu_style.patch -> 1.2 --- fbpanel-menu_style.patch | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 fbpanel-menu_style.patch diff --git a/fbpanel-menu_style.patch b/fbpanel-menu_style.patch deleted file mode 100644 index 1ff762a..0000000 --- a/fbpanel-menu_style.patch +++ /dev/null @@ -1,17 +0,0 @@ -diff -aurN fbpanel-4.1.orig/plugins/menu.c fbpanel-4.1/plugins/menu.c ---- fbpanel-4.1.orig/plugins/menu.c 2004-12-22 15:51:55.000000000 +0100 -+++ fbpanel-4.1/plugins/menu.c 2005-05-11 20:56:05.000000000 +0200 -@@ -30,9 +30,12 @@ - "{\n" - "GtkMenuBar::shadow-type = none\n" - "GtkMenuBar::internal-padding = 0\n" --"GtkMenu::vertical-padding = 0\n" -+"GtkMenu::vertical-padding = 1\n" -+"GtkMenu::horizontal-offset = -1\n" -+"GtkMenuItem::horizontal-padding = 4\n" - "}\n" - "class 'GtkMenuBar' style 'menubar-style'\n" -+"class 'GtkMenuItem' style 'menubar-style'\n" - "class 'GtkMenu' style 'menubar-style'\n"; - /* - static gchar *transparent_rc = "style 'transparent-style'\n" -- 2.43.0