1
0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-21 05:18:06 +01:00

Fixed a bug in scroller code related to mouse wheels

This commit is contained in:
dan
2000-12-28 00:30:09 +00:00
parent 45869c37e0
commit f81d0f30de
2 changed files with 8 additions and 3 deletions

View File

@@ -73,6 +73,10 @@ changes since wmaker 0.62.1:
you need, by calling wsyserrorwithcode() and passing WCErrorCode, if you need, by calling wsyserrorwithcode() and passing WCErrorCode, if
WCErrorCode > 0. If WCErrorCode==0, that is not a system error, and WCErrorCode > 0. If WCErrorCode==0, that is not a system error, and
wsyserrorwithcode() should not be called in this case. 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: changes since wmaker 0.62.0:

View File

@@ -824,6 +824,8 @@ handleActionEvents(XEvent *event, void *data)
case ButtonPress: 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.button==WINGsConfiguration.mouseWheelUp) {
if (event->xbutton.state & ControlMask) { if (event->xbutton.state & ControlMask) {
sPtr->flags.hitPart = WSDecrementPage; sPtr->flags.hitPart = WSDecrementPage;
@@ -837,8 +839,7 @@ handleActionEvents(XEvent *event, void *data)
WMPostNotificationName(WMScrollerDidScrollNotification, sPtr, WMPostNotificationName(WMScrollerDidScrollNotification, sPtr,
NULL); NULL);
} }
} } else if (event->xbutton.button==WINGsConfiguration.mouseWheelDown) {
else if (event->xbutton.button==WINGsConfiguration.mouseWheelDown) {
if (event->xbutton.state & ControlMask) { if (event->xbutton.state & ControlMask) {
sPtr->flags.hitPart = WSIncrementPage; sPtr->flags.hitPart = WSIncrementPage;
} else if (event->xbutton.state & ShiftMask) { } else if (event->xbutton.state & ShiftMask) {