# HG changeset patch
# User Laurent Bessard
# Date 1370211493 -7200
# Node ID d22fcdfae8d087a7e07e492c63ea0a404e5fdeb0
# Parent  fb9799a0c0f724f1c53c72f18218b9dd9382392e
Fixed support for drawing instance path at a fixed position in Viewer debug mode on Windows

diff -r fb9799a0c0f7 -r d22fcdfae8d0 editors/Viewer.py
--- a/editors/Viewer.py	Fri May 31 18:32:51 2013 +0200
+++ b/editors/Viewer.py	Mon Jun 03 00:18:13 2013 +0200
@@ -739,17 +739,13 @@
     def RefreshRect(self, rect, eraseBackground=True):
         self.Editor.RefreshRect(rect, eraseBackground)
     
-    def RefreshEditor(self):
-        self.Editor.Thaw()
-        self.Editor.Refresh()
-    
     def Scroll(self, x, y):
         if self.Debug and wx.Platform == '__WXMSW__':
             self.Editor.Freeze()
         self.Editor.Scroll(x, y)
         if self.Debug:
             if wx.Platform == '__WXMSW__':
-                wx.CallAfter(self.RefreshEditor)
+                self.Editor.Thaw()
             else:
                 self.Editor.Refresh()
     
@@ -3325,7 +3321,7 @@
         if wx.Platform == '__WXMSW__':
             wx.CallAfter(self.RefreshVisibleElements)
             self.Editor.Freeze()
-            wx.CallAfter(self.RefreshEditor)
+            wx.CallAfter(self.Editor.Thaw)
         elif event.GetOrientation() == wx.HORIZONTAL:
             self.RefreshVisibleElements(xp = event.GetPosition())
         else: