# HG changeset patch
# User Laurent Bessard
# Date 1366313420 -7200
# Node ID 6dbdc6844eb9a9df7ad6228a75e60baabb52df89
# Parent  736ec395399a6a8f687449de806bd0cf5f4bfc3a
Fixed refresh bug when moving selected elements

diff -r 736ec395399a -r 6dbdc6844eb9 editors/Viewer.py
--- 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):