Flush screen buffer upon console.flush() and output.flush().

This fixes bug #511992.

diff --git a/Mac/Tools/IDE/PyConsole.py b/Mac/Tools/IDE/PyConsole.py
index 6c0ecd71343b7d15ed8ece6b5edfd304b945e6d4..23f301b4ef352574af373520d080a4d1f4899ff9 100644 (file)
--- a/Mac/Tools/IDE/PyConsole.py
+++ b/Mac/Tools/IDE/PyConsole.py
@@ -108,6 +108,8 @@ class ConsoleTextWidget(W.EditText):
                self._buf = ""
                self.ted.WEClearUndo()
                self.updatescrollbars()
+               if Qd.QDIsPortBuffered(self._parentwindow.wid):
+                       Qd.QDFlushPortBuffer(self._parentwindow.wid, None)
        
        def selection_ok(self):
                selstart, selend = self.getselection()
@@ -298,6 +300,8 @@ class PyOutput:
                self._buf = ""
                self.w.outputtext.updatescrollbars()
                self.w.outputtext.ted.WEFeatureFlag(WASTEconst.weFReadOnly, 1)
+               if Qd.QDIsPortBuffered(self.w.wid):
+                       Qd.QDFlushPortBuffer(self.w.wid, None)
        
        def show(self):
                if self.closed: