Le 24/05/2012 09:19, Goubier Thierry a écrit :
Another bug shown with my change is, if you start to scroll with the
slider, it depresses correctly, but, as soon as you move outside the
bounds of the scrollbar, even while pressing the left mouse button, then
the slider goes back to the "not pressed" state while you are still
scrolling up or down.
To correct that bug, a small change in ScrollBar>>mouseLeaveThumb:
event redButtonPressed
ifFalse: [
slider
fillStyle: self normalThumbFillStyle;
borderStyle: self normalThumbBorderStyle;
changed ].
(self containsPoint: event position)
ifTrue: [
upButton
fillStyle: self
mouseOverPagingAreaButtonFillStyle;
borderStyle: self
mouseOverPagingAreaButtonBorderStyle ]
ifFalse: [
upButton
fillStyle: self normalButtonFillStyle;
borderStyle: self normalButtonBorderStyle ].
(self containsPoint: event position)
ifTrue: [
downButton
fillStyle: self
mouseOverPagingAreaButtonFillStyle;
borderStyle: self
mouseOverPagingAreaButtonBorderStyle ]
ifFalse: [
downButton
fillStyle: self normalButtonFillStyle;
borderStyle: self normalButtonBorderStyle ]
Thierry
--
Thierry Goubier
CEA list
Laboratoire des Fondations des Systèmes Temps Réel Embarqués
91191 Gif sur Yvette Cedex
France
Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95
