| commit | 3d0ff00c08b32051c076582cf3aff81bc6c2e4ff | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Thu Apr 22 20:50:33 1999 +0000 |
| committer | Guido van Rossum <guido@python.org> | Thu Apr 22 20:50:33 1999 +0000 |
| tree | 50b9f1708804634fbe168f6b540a43ab959fa26c | |
| parent | eeb88076e7f4a89ce76d271379ca0aced0c2d6c7 [diff] [blame] |
Added flush(), for completeness.
diff --git a/Tools/idle/OutputWindow.py b/Tools/idle/OutputWindow.py index c13b3e4..456c45b 100644 --- a/Tools/idle/OutputWindow.py +++ b/Tools/idle/OutputWindow.py
@@ -41,6 +41,9 @@ def writelines(self, l): map(self.write, l) + def flush(self): + pass + # Our own right-button menu rmenu_specs = [