From: W. Trevor King <wking@tremily.us>
Date: Thu, 17 Jan 2013 22:06:27 +0000 (-0500)
Subject: script-publish.py: Fix double-spacing in <pre> by removing \n
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=8b8acfcc6cac219882afce6e1153f13d96e66202;p=blog.git

script-publish.py: Fix double-spacing in <pre> by removing \n

This makes the HTML less readable, but it's not worth the trouble to
make these HTML-readability endlines optional.
---

diff --git a/posts/script/script-publish.py b/posts/script/script-publish.py
index 4f750e4..fa2574d 100755
--- a/posts/script/script-publish.py
+++ b/posts/script/script-publish.py
@@ -651,7 +651,10 @@ class ControlParser (object):
                 cc = chunk.control_code
                 if cc.name in ['scroll forward', 'clear screen']:
                     e = _etree.Element('br')
-                    e.tail = '\n'
+                    # the following line is useful for debugging HTML
+                    # output, but if you're inside a <pre> block,
+                    # <br/>\n will give you double-spaced lines.
+                    #e.tail = '\n'
                     element.append(e)
                     previous = e
                 else: