Beremiz.py
changeset 569 37af7286dd65
parent 550 b03f586547c9
child 571 427bf9130d12
--- a/Beremiz.py	Tue Feb 01 17:28:41 2011 +0100
+++ b/Beremiz.py	Thu Feb 03 18:20:47 2011 +0100
@@ -278,6 +278,10 @@
     def write_error(self, s):
         self.write(s,self.red_yellow)
 
+    def writeyield(self, s):
+        self.write(s)
+        wx.GetApp().Yield()
+
     def flush(self):
         self.output.SetValue("")