added slight delay in Scrollbar.click() for more intuitive response -- jvr

diff --git a/Mac/Tools/IDE/Wcontrols.py b/Mac/Tools/IDE/Wcontrols.py
index f619bb9c91db43132c1bd0f53d1c2689feb54f1c..c5511d4b60155ca3d34373f8ce78b3a771b67c18 100644 (file)
--- a/Mac/Tools/IDE/Wcontrols.py
+++ b/Mac/Tools/IDE/Wcontrols.py
@@ -305,6 +305,8 @@ class Scrollbar(ControlWidget):
                        self._control.HiliteControl(part)
                        self._hit(part)
                        oldpart = part
+                       import time
+                       time.sleep(0.3)
                        while Evt.StillDown():
                                part = self._control.TestControl(point)
                                if part == oldpart: