Added flush(), for completeness.

diff --git a/Tools/idle/OutputWindow.py b/Tools/idle/OutputWindow.py
index c13b3e46fdf147f925102a936f10093e48306606..456c45bd9365bfd371b79baee278b95c8c931177 100644 (file)
--- a/Tools/idle/OutputWindow.py
+++ b/Tools/idle/OutputWindow.py
@@ -41,6 +41,9 @@ class OutputWindow(EditorWindow):
     def writelines(self, l):
         map(self.write, l)
 
+    def flush(self):
+        pass
+
     # Our own right-button menu
 
     rmenu_specs = [