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