From 3d0ff00c08b32051c076582cf3aff81bc6c2e4ff Mon Sep 17 00:00:00 2001
From: Guido van Rossum <guido@python.org>
Date: Thu, 22 Apr 1999 20:50:33 +0000
Subject: [PATCH] Added flush(), for completeness.

---
 Tools/idle/OutputWindow.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Tools/idle/OutputWindow.py b/Tools/idle/OutputWindow.py
index c13b3e46fdf..456c45bd936 100644
--- a/Tools/idle/OutputWindow.py
+++ b/Tools/idle/OutputWindow.py
@@ -41,6 +41,9 @@ def write(self, s, tags=(), mark="insert"):
     def writelines(self, l):
         map(self.write, l)
 
+    def flush(self):
+        pass
+
     # Our own right-button menu
 
     rmenu_specs = [