diff options
Diffstat (limited to 'x11-wm/fluxbox/files/gentoo_style_location-1.1.x.patch')
| -rw-r--r-- | x11-wm/fluxbox/files/gentoo_style_location-1.1.x.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/x11-wm/fluxbox/files/gentoo_style_location-1.1.x.patch b/x11-wm/fluxbox/files/gentoo_style_location-1.1.x.patch new file mode 100644 index 000000000000..dfa4f2eab48f --- /dev/null +++ b/x11-wm/fluxbox/files/gentoo_style_location-1.1.x.patch @@ -0,0 +1,19 @@ +diff --git a/util/fluxbox-generate_menu.in b/util/fluxbox-generate_menu.in +index aca8b08..b229046 100755 +--- a/util/fluxbox-generate_menu.in ++++ b/util/fluxbox-generate_menu.in +@@ -1794,12 +1794,8 @@ fi + 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] (~/.@pkgprefix@fluxbox@pkgsuffix@/styles)" ++ append_submenu "Styles" ++ append "[include] (@GENTOO_PORTAGE_EPREFIX@/usr/share/fluxbox/menu.d/styles/)" + append_menu_end + + # Backgroundmenu |