add flush_softspace() interface

gvanrossum · gvanrossum · commit c7ae92069d9b · 1995-09-30T16:49:58.000Z
diff --git a/Lib/formatter.py b/Lib/formatter.py
@@ -109,6 +109,11 @@ def add_literal_data(self, data):
 	self.nospace = self.softspace = 0
 	self.writer.send_literal_data(data)
 
+    def flush_softspace(self):
+	if self.softspace:
+	    self.nospace = self.softspace = 0
+	    self.writer.send_flowing_data(' ')
+
     def push_font(self, (size, i, b, tt)):
 	if self.font_stack:
 	    csize, ci, cb, ctt = self.font_stack[-1]
