diff options
Diffstat (limited to 'x11-wm/fluxbox/files/1.0_rc3')
| -rw-r--r-- | x11-wm/fluxbox/files/1.0_rc3/fluxbox-1.0_rc3-flicker.patch | 20 | ||||
| -rw-r--r-- | x11-wm/fluxbox/files/1.0_rc3/fluxbox-1.0_rc3-generate_menu_icon_fix.patch | 43 |
2 files changed, 63 insertions, 0 deletions
diff --git a/x11-wm/fluxbox/files/1.0_rc3/fluxbox-1.0_rc3-flicker.patch b/x11-wm/fluxbox/files/1.0_rc3/fluxbox-1.0_rc3-flicker.patch new file mode 100644 index 000000000000..9f93d1765f66 --- /dev/null +++ b/x11-wm/fluxbox/files/1.0_rc3/fluxbox-1.0_rc3-flicker.patch @@ -0,0 +1,20 @@ +Index: src/Ewmh.cc +=================================================================== +--- src/Ewmh.cc (revision 4877) ++++ src/Ewmh.cc (working copy) +@@ -1058,13 +1058,12 @@ + } else if (state == m_net_wm_state_below) { // bottom layer + if (value) + win.moveToLayer(Layer::BOTTOM); +- else ++ else if (win.layerNum() > Layer::NORMAL) + win.moveToLayer(Layer::NORMAL); +- + } else if (state == m_net_wm_state_above) { // above layer + if (value) + win.moveToLayer(Layer::ABOVE_DOCK); +- else ++ else if (win.layerNum() < Layer::NORMAL) + win.moveToLayer(Layer::NORMAL); + } else if (state == m_net_wm_state_demands_attention) { + if (value) { // if add attention diff --git a/x11-wm/fluxbox/files/1.0_rc3/fluxbox-1.0_rc3-generate_menu_icon_fix.patch b/x11-wm/fluxbox/files/1.0_rc3/fluxbox-1.0_rc3-generate_menu_icon_fix.patch new file mode 100644 index 000000000000..60daa8af3db0 --- /dev/null +++ b/x11-wm/fluxbox/files/1.0_rc3/fluxbox-1.0_rc3-generate_menu_icon_fix.patch @@ -0,0 +1,43 @@ +Index: util/fluxbox-generate_menu.in +=================================================================== +--- util/fluxbox-generate_menu.in (revision 4883) ++++ util/fluxbox-generate_menu.in (revision 4884) +@@ -1326,22 +1326,22 @@ + -g) GNOMEMENU=yes; shift;; + -in) NO_ICON=yes; shift;; + -is) OTHER_ICONPATHS=" +- /usr/share/icons, +- /usr/share/icons/mini, +- /usr/share/pixmaps, +- /usr/local/share/icons, +- /usr/local/share/icons/mini, +- /usr/local/share/pixmaps, +- /usr/share/xclass/icons, +- /usr/share/xclass/pixmaps, +- /usr/local/share/xclass/icons, +- /usr/local/share/xclass/pixmaps, +- /usr/X11R6/share/icons/default/16x16, +- /usr/X11R6/share/icons/kde/16x16, +- /usr/X11R6/share/icons/hicolor/16x16, +- /usr/local/X11R6/share/icons/default/16x16, +- /usr/local/X11R6/share/icons/kde/16x16, +- /usr/local/X11R6/share/icons/hicolor/16x16, ++ /usr/share/icons ++ /usr/share/icons/mini ++ /usr/share/pixmaps ++ /usr/local/share/icons ++ /usr/local/share/icons/mini ++ /usr/local/share/pixmaps ++ /usr/share/xclass/icons ++ /usr/share/xclass/pixmaps ++ /usr/local/share/xclass/icons ++ /usr/local/share/xclass/pixmaps ++ /usr/X11R6/share/icons/default/16x16 ++ /usr/X11R6/share/icons/kde/16x16 ++ /usr/X11R6/share/icons/hicolor/16x16 ++ /usr/local/X11R6/share/icons/default/16x16 ++ /usr/local/X11R6/share/icons/kde/16x16 ++ /usr/local/X11R6/share/icons/hicolor/16x16 + " + shift;; + -ds) OTHER_DESKTOP_PATHS=" |