beremiz

6dbdc6844eb9
Parents 736ec395399a
Children b46e45e0afc7
Fixed refresh bug when moving selected elements
--- 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):