--- 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()