Fix formatter usage of filter(). Bug #3800.

birkenfeld · birkenfeld · commit 7cd67cc992ac · 2008-09-09T19:31:25.000Z
diff --git a/Lib/formatter.py b/Lib/formatter.py
@@ -255,15 +255,15 @@ def pop_font(self):
 
     def push_margin(self, margin):
         self.margin_stack.append(margin)
-        fstack = filter(None, self.margin_stack)
+        fstack = [m for m in self.margin_stack if m]
         if not margin and fstack:
             margin = fstack[-1]
         self.writer.new_margin(margin, len(fstack))
 
     def pop_margin(self):
         if self.margin_stack:
             del self.margin_stack[-1]
-        fstack = filter(None, self.margin_stack)
+        fstack = [m for m in self.margin_stack if m]
         if fstack:
             margin = fstack[-1]
         else:
diff --git a/Misc/NEWS b/Misc/NEWS
@@ -96,6 +96,8 @@ C API
 Library
 -------
 
+- Issue #3800: fix filter() related bug in formatter.py.
+
 - Issue #874900: fix behaviour of threading module after a fork.
 
 - Issue #3535: zipfile couldn't read some zip files larger than 2GB.
