icewm-autohide.patch

   1 diff -urp icewm-1.3.7/src/wmtaskbar.cc icewm-1.3.7a/src/wmtaskbar.cc
   2 --- icewm-1.3.7/src/wmtaskbar.cc        2010-10-31 15:09:36.000000000 +0100
   3 +++ icewm-1.3.7a/src/wmtaskbar.cc       2011-05-31 00:05:52.000000000 +0200
   4 @@ -902,7 +902,7 @@ void TaskBar::handleCrossing(const XCros
   5          if (crossing.type == EnterNotify /* && crossing.mode != NotifyNormal */) {
   6              fEdgeTrigger->stopHide();
   7          } else if (crossing.type == LeaveNotify /* && crossing.mode != NotifyNormal */) {
   8 -            if (crossing.detail != NotifyInferior && crossing.detail != NotifyVirtual && crossing.detail != NotifyAncestor) {
   9 +            if (crossing.detail != NotifyInferior && !(crossing.detail == NotifyVirtual && crossing.mode == NotifyGrab) && !(crossing.detail == NotifyAncestor && crossing.mode != NotifyNormal)) {
  10                  MSG(("taskbar hide: %d", crossing.detail));
  11                  fEdgeTrigger->startHide();
  12              } else {