equal
deleted
inserted
replaced
117 event.Skip() |
117 event.Skip() |
118 |
118 |
119 def OnMotion(self, event): |
119 def OnMotion(self, event): |
120 if event.Dragging() and self.ThumbScrollingStartPos is not None: |
120 if event.Dragging() and self.ThumbScrollingStartPos is not None: |
121 posx, posy = event.GetPosition() |
121 posx, posy = event.GetPosition() |
122 width, height = self.GetClientSize() |
|
123 range_rect = self.GetRangeRect() |
122 range_rect = self.GetRangeRect() |
124 thumb_size = range_rect.height * THUMB_SIZE_RATIO |
123 thumb_size = range_rect.height * THUMB_SIZE_RATIO |
125 thumb_range = range_rect.height - thumb_size |
124 thumb_range = range_rect.height - thumb_size |
126 self.RefreshThumbPosition( |
125 self.RefreshThumbPosition( |
127 max(-1., min((posy - self.ThumbScrollingStartPos.y) * 2. / thumb_range, 1.))) |
126 max(-1., min((posy - self.ThumbScrollingStartPos.y) * 2. / thumb_range, 1.))) |