From f81d0f30de0638d75a54397c53be405704c05d37 Mon Sep 17 00:00:00 2001
From: dan <dan>
Date: Thu, 28 Dec 2000 00:30:09 +0000
Subject: [PATCH] Fixed a bug in scroller code related to mouse wheels

---
 WINGs/ChangeLog   | 4 ++++
 WINGs/wscroller.c | 7 ++++---
 2 files changed, 8 insertions(+), 3 deletions(-)

diff --git a/WINGs/ChangeLog b/WINGs/ChangeLog
index 167ccc2a..8138ae34 100644
--- a/WINGs/ChangeLog
+++ b/WINGs/ChangeLog
@@ -73,6 +73,10 @@ changes since wmaker 0.62.1:
   you need, by calling wsyserrorwithcode() and passing WCErrorCode, if
   WCErrorCode > 0. If WCErrorCode==0, that is not a system error, and
   wsyserrorwithcode() should not be called in this case.
+- added WMNextHashEnumeratorKey() to retrieve all keys in some hash enumerator
+  one by one.
+- fixed a bug with mouse wheels scrolling in scrollers even with the widget
+  fully visible.
 
 
 changes since wmaker 0.62.0:
diff --git a/WINGs/wscroller.c b/WINGs/wscroller.c
index 480c94d1..7ee3f033 100644
--- a/WINGs/wscroller.c
+++ b/WINGs/wscroller.c
@@ -823,7 +823,9 @@ handleActionEvents(XEvent *event, void *data)
 	break;
 	
      case ButtonPress:
-	/* FIXME: change Mod1Mask with something else */
+        /* FIXME: change Mod1Mask with something else */
+        if (sPtr->flags.documentFullyVisible)
+            break;
 	if (event->xbutton.button==WINGsConfiguration.mouseWheelUp) {
             if (event->xbutton.state & ControlMask) {
                 sPtr->flags.hitPart = WSDecrementPage;
@@ -837,8 +839,7 @@ handleActionEvents(XEvent *event, void *data)
 		WMPostNotificationName(WMScrollerDidScrollNotification, sPtr, 
 				       NULL);
 	    }
-	}
-	else if (event->xbutton.button==WINGsConfiguration.mouseWheelDown) {
+	} else if (event->xbutton.button==WINGsConfiguration.mouseWheelDown) {
             if (event->xbutton.state & ControlMask) {
                 sPtr->flags.hitPart = WSIncrementPage;
             } else if (event->xbutton.state & ShiftMask) {
-- 
2.11.4.GIT