(formatter.py): Add a flush() method to the writer interface. This really

	needs to be a standard part of the interface, so we'll have it in
	for the next release.

diff --git a/Lib/formatter.py b/Lib/formatter.py
index 507ed8a6fafae38f4cfd32b5c8016cc2f84e5061..25dbe73d78cb418625f47652be015ad8cbade9c2 100644 (file)
--- a/Lib/formatter.py
+++ b/Lib/formatter.py
@@ -265,9 +265,9 @@ class AbstractFormatter:
 
 
 class NullWriter:
-    """Minimal writer interface to use in testing.
-    """
+    """Minimal writer interface to use in testing & inheritance."""
     def __init__(self): pass
+    def flush(self): pass
     def new_alignment(self, align): pass
     def new_font(self, font): pass
     def new_margin(self, margin, level): pass