diff -r d72a866cf9b0 -r e3edaf98a44a controls/DebugVariablePanel.py --- a/controls/DebugVariablePanel.py Wed Mar 06 14:03:26 2013 +0900 +++ b/controls/DebugVariablePanel.py Wed Mar 06 17:05:56 2013 +0900 @@ -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