equal
deleted
inserted
replaced
2963 #------------------------------------------------------------------------------- |
2963 #------------------------------------------------------------------------------- |
2964 # Drawing functions |
2964 # Drawing functions |
2965 #------------------------------------------------------------------------------- |
2965 #------------------------------------------------------------------------------- |
2966 |
2966 |
2967 def OnScrollWindow(self, event): |
2967 def OnScrollWindow(self, event): |
2968 if self.Editor.HasCapture(): |
2968 if self.Editor.HasCapture() and self.StartMousePos: |
2969 return |
2969 return |
2970 if wx.Platform == '__WXMSW__': |
2970 if wx.Platform == '__WXMSW__': |
2971 wx.CallAfter(self.RefreshVisibleElements) |
2971 wx.CallAfter(self.RefreshVisibleElements) |
2972 elif event.GetOrientation() == wx.HORIZONTAL: |
2972 elif event.GetOrientation() == wx.HORIZONTAL: |
2973 self.RefreshVisibleElements(xp = event.GetPosition()) |
2973 self.RefreshVisibleElements(xp = event.GetPosition()) |