# HG changeset patch
# User lbessard
# Date 1221058189 -7200
# Node ID a95bfb76a1eb0a7daaf54cfcad1c59f02d36d987
# Parent  4f102c996fa3071adcfb41c244b7e6131ceee2af
Bug on refresh in any Viewer fixed

diff -r 4f102c996fa3 -r a95bfb76a1eb 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()