Wrap lines in the HTML log

- This adds "pre { white-space: pre-wrap; }" to the css via a gross hack
- I hope to soon redo this so that this gross hack isn't necessary, and
  the entire HTML log output is more customizable.
- Thanks to commenter at
  http://francis.giannaros.org/blog/2009/08/27/create-minutes-and-\
    logs-for-your-meetings-with-bugbot/

darcs-hash:20090831214329-82ea9-a30ea5f3f72bd0f5e008d0e8fb2a0a1b48c52255.gz

1 files changed, 15 insertions, 0 deletions

diff --git a/writers.py b/writers.py
index d9a8cd4..92f1f86 100644
--- a/writers.py
+++ b/writers.py
@@ -167,6 +167,21 @@ class HTMLlog(_BaseWriter):
         lexer = Lexer()
         #from rkddp.interact import interact ; interact()
         out = pygments.highlight("\n".join(M.lines), lexer, formatter)
+        # Hack it to add "pre { white-space: pre-wrap; }", which make
+        # it wrap the pygments html logs.  I think that in a newer
+        # version of pygmetns, the "prestyles" HTMLFormatter option
+        # would do this, but I want to maintain compatibility with
+        # lenny.  Thus, I do these substitution hacks to add the
+        # format in.  Thanks to a comment on the blog of Francis
+        # Giannaros (http://francis.giannaros.org) for the suggestion
+        # and instructions for how.
+        out,n = re.subn(r"(\n\s*pre\s*\{[^}]+;\s*)(\})",
+                        r"\1\n      white-space: pre-wrap;\2",
+                        out, count=1)
+        if n == 0:
+            out = re.sub(r"(\n\s*</style>)",
+                         r"\npre { white-space: pre-wrap; }\1",
+                         out, count=1)
         return out