beremiz

Fix bug on Windows when drag'n dropping variable to DebugVariablePanel, panel not refreshed

2013-03-05, Laurent Bessard
c0dcbbdb0bb1
Parents 069466072e9d
Children f1c6b7a6f44b
Fix bug on Windows when drag'n dropping variable to DebugVariablePanel, panel not refreshed
1 files changed, 8 insertions(+), 2 deletions(-)
  • +8 -2
    controls/DebugVariablePanel.py
    • --- a/controls/DebugVariablePanel.py Tue Mar 05 17:54:19 2013 +0100
    +++ b/controls/DebugVariablePanel.py Tue Mar 05 17:55:15 2013 +0100
    @@ -1670,12 +1670,18 @@
    panel.OnDragging(x_mouse - x, y_mouse - y)
    else:
    panel.SetHighlight(HIGHLIGHT_NONE)
    - self.ForceRefresh()
    + if wx.Platform == "__WXMSW__":
    + self.RefreshView()
    + else:
    + self.ForceRefresh()
    def ResetHighlight(self):
    for panel in self.GraphicPanels:
    panel.SetHighlight(HIGHLIGHT_NONE)
    - self.ForceRefresh()
    + if wx.Platform == "__WXMSW__":
    + self.RefreshView()
    + else:
    + self.ForceRefresh()
    def IsDragging(self):
    return self.DraggingAxesPanel is not None