equal
deleted
inserted
replaced
2909 #------------------------------------------------------------------------------- |
2909 #------------------------------------------------------------------------------- |
2910 # Drawing functions |
2910 # Drawing functions |
2911 #------------------------------------------------------------------------------- |
2911 #------------------------------------------------------------------------------- |
2912 |
2912 |
2913 def OnScrollWindow(self, event): |
2913 def OnScrollWindow(self, event): |
2914 if event.GetOrientation() == wx.HORIZONTAL: |
2914 if wx.Platform == '__WXMSW__': |
|
2915 wx.CallAfter(self.RefreshVisibleElements) |
|
2916 elif event.GetOrientation() == wx.HORIZONTAL: |
2915 self.RefreshVisibleElements(xp = event.GetPosition()) |
2917 self.RefreshVisibleElements(xp = event.GetPosition()) |
2916 else: |
2918 else: |
2917 self.RefreshVisibleElements(yp = event.GetPosition()) |
2919 self.RefreshVisibleElements(yp = event.GetPosition()) |
2918 event.Skip() |
2920 event.Skip() |
2919 |
2921 |