equal
deleted
inserted
replaced
1668 idx == 0 and y_mouse < 0 or |
1668 idx == 0 and y_mouse < 0 or |
1669 idx == len(self.GraphicPanels) - 1 and y_mouse > panel.GetPosition()[1]): |
1669 idx == len(self.GraphicPanels) - 1 and y_mouse > panel.GetPosition()[1]): |
1670 panel.OnDragging(x_mouse - x, y_mouse - y) |
1670 panel.OnDragging(x_mouse - x, y_mouse - y) |
1671 else: |
1671 else: |
1672 panel.SetHighlight(HIGHLIGHT_NONE) |
1672 panel.SetHighlight(HIGHLIGHT_NONE) |
1673 self.ForceRefresh() |
1673 if wx.Platform == "__WXMSW__": |
|
1674 self.RefreshView() |
|
1675 else: |
|
1676 self.ForceRefresh() |
1674 |
1677 |
1675 def ResetHighlight(self): |
1678 def ResetHighlight(self): |
1676 for panel in self.GraphicPanels: |
1679 for panel in self.GraphicPanels: |
1677 panel.SetHighlight(HIGHLIGHT_NONE) |
1680 panel.SetHighlight(HIGHLIGHT_NONE) |
1678 self.ForceRefresh() |
1681 if wx.Platform == "__WXMSW__": |
|
1682 self.RefreshView() |
|
1683 else: |
|
1684 self.ForceRefresh() |
1679 |
1685 |
1680 def IsDragging(self): |
1686 def IsDragging(self): |
1681 return self.DraggingAxesPanel is not None |
1687 return self.DraggingAxesPanel is not None |
1682 |
1688 |
1683 def GetDraggingAxesClippingRegion(self, panel): |
1689 def GetDraggingAxesClippingRegion(self, panel): |