--- a/Viewer.py Wed Jun 10 13:18:42 2009 +0200
+++ b/Viewer.py Wed Jun 10 13:58:52 2009 +0200
@@ -660,13 +660,13 @@
if self.NewDataRefreshRect is not None:
refresh_rect, self.NewDataRefreshRect = self.NewDataRefreshRect, None
self.RefreshRect(self.GetScrolledRect(refresh_rect), False)
- DebugViewer.RefreshNewData(self)
-
+
def ResetBuffer(self):
pass
# Refresh Viewer elements
def RefreshView(self):
+ self.Inhibit(True)
self.current_id = 0
# Start by reseting Viewer
self.Flush()
@@ -713,7 +713,8 @@
iec_path = self.GetElementIECPath(block)
if iec_path is not None:
self.AddDataConsumer(iec_path.upper(), block)
-
+
+ self.Inhibit(False)
self.RefreshVisibleElements()
self.ShowErrors()
self.Refresh(False)
@@ -2899,6 +2900,8 @@
dc = self.GetLogicalDC(True)
self.DoDrawing(dc)
wx.BufferedPaintDC(self, dc.GetAsBitmap())
+ if self.Debug:
+ DebugViewer.RefreshNewData(self)
event.Skip()