# HG changeset patch
# User Laurent Bessard
# Date 1362502515 -3600
# Node ID c0dcbbdb0bb1046473ddfa7054f34d586e6a2112
# Parent  069466072e9db8229f04b4487cd3df600ebfc1d5
Fix bug on Windows when drag'n dropping variable to DebugVariablePanel, panel not refreshed

diff -r 069466072e9d -r c0dcbbdb0bb1 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