--- a/editors/Viewer.py	Thu Apr 18 21:25:06 2013 +0200
+++ b/editors/Viewer.py	Thu Apr 18 21:30:20 2013 +0200
@@ -2041,6 +2041,7 @@
                 self.StartBuffering()
                 self.SelectedElement.RefreshModel()
                 self.RefreshScrollBars()
+                self.RefreshVisibleElements()
                 self.RefreshRect(self.GetScrolledRect(self.SelectedElement.GetRedrawRect(movex, movey)), False)
         elif not self.Debug and keycode == wx.WXK_SPACE and self.SelectedElement is not None and self.SelectedElement.Dragging:
             if self.IsBlock(self.SelectedElement) or self.IsComment(self.SelectedElement):