From c7ae92069d9b83b3c50ffd68b86a97a28d6f75cc Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Sat, 30 Sep 1995 16:49:58 +0000 Subject: [PATCH] add flush_softspace() interface --- Lib/formatter.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Lib/formatter.py b/Lib/formatter.py index 67d2b16e9a76..9ff03b557b7d 100644 --- 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]