diff options
Diffstat (limited to 'x11-wm/fluxbox/files/0.9.15/fluxbox-0.9.15-our-styles-go-over-here.patch')
| -rw-r--r-- | x11-wm/fluxbox/files/0.9.15/fluxbox-0.9.15-our-styles-go-over-here.patch | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/x11-wm/fluxbox/files/0.9.15/fluxbox-0.9.15-our-styles-go-over-here.patch b/x11-wm/fluxbox/files/0.9.15/fluxbox-0.9.15-our-styles-go-over-here.patch new file mode 100644 index 000000000000..01e4470c4c2b --- /dev/null +++ b/x11-wm/fluxbox/files/0.9.15/fluxbox-0.9.15-our-styles-go-over-here.patch @@ -0,0 +1,17 @@ +--- util/fluxbox-generate_menu.in 2005-04-28 11:21:09.000000000 +0100 ++++ util/fluxbox-generate_menu.in.new 2005-05-13 23:46:12.647655824 +0100 +@@ -1638,12 +1638,8 @@ + append_submenu "${FBSETTINGSMENU}" + append "[config] (${CONFIGUREMENU})" + +- append_menu "[submenu] (${SYSTEMSTYLES}) {${STYLEMENUTITLE}}" +- append "[stylesdir] (${PREFIX}/share/fluxbox/styles)" +- append_menu_end +- +- append_menu "[submenu] (${USERSTYLES}) {${STYLEMENUTITLE}}" +- append "[stylesdir] (~/.fluxbox/styles)" ++ append_submenu "Styles" ++ append "[include] (/usr/share/fluxbox/menu.d/styles/)" + append_menu_end + + # Backgroundmenu |