Bug on refresh in any Viewer fixed
authorlbessard
Wed, 10 Sep 2008 16:49:49 +0200
changeset 267 a95bfb76a1eb
parent 266 4f102c996fa3
child 268 5508af39d1f7
Bug on refresh in any Viewer fixed
Viewer.py
--- a/Viewer.py	Wed Sep 10 16:46:51 2008 +0200
+++ b/Viewer.py	Wed Sep 10 16:49:49 2008 +0200
@@ -1459,6 +1459,7 @@
             elif position.y > window_size[1] - SCROLL_ZONE:
                 move_window.y = 1
             if move_window.x != 0 or move_window.y != 0:
+                self.RefreshVisibleElements(xp = xstart + move_window.x, yp = ystart + move_window.y)
                 self.Scroll(xstart + move_window.x, ystart + move_window.y)
             self.RefreshScrollBars()
 
@@ -1535,6 +1536,7 @@
                 self.RefreshBuffer()
                 self.RefreshScrollBars()
                 self.ParentWindow.RefreshVariablePanel(self.TagName)
+                self.RefreshVisibleElements()
                 self.SelectedElement.Refresh()
             else:
                 event.Skip()