fluxbox-wheel_direction.patch

   1 diff -ur fluxbox.orig/src/fluxbox.cc fluxbox/src/fluxbox.cc
   2 --- fluxbox.orig/src/fluxbox.cc 2004-07-16 03:47:46.000000000 +0200
   3 +++ fluxbox/src/fluxbox.cc      2004-08-06 19:19:32.075664744 +0200
   4 @@ -1146,9 +1146,9 @@
   5                  screen->getRootmenu().grabInputFocus();
   6              }
   7          } else if (screen->isDesktopWheeling() && be.button == 4) {
   8 -            screen->nextWorkspace(1);
   9 -        } else if (screen->isDesktopWheeling() && be.button == 5) {
  10              screen->prevWorkspace(1);
  11 +        } else if (screen->isDesktopWheeling() && be.button == 5) {
  12 +            screen->nextWorkspace(1);
  13          }
  14
  15      } break;