# # # patch "syntax.py" # from [1a4ead689403c0dc0b720dfc26705918af5690d7] # to [44f5b93cb1df829e1ca98c8c1b21dc4e024f9751] # # patch "viewmtn.py" # from [98c5cec0d0e729cd8e65577f45f323bc28162a02] # to [276ac9117571c5c478d6e64b66b85fc6f3e0f414] # ============================================================ --- syntax.py 1a4ead689403c0dc0b720dfc26705918af5690d7 +++ syntax.py 44f5b93cb1df829e1ca98c8c1b21dc4e024f9751 @@ -18,8 +18,7 @@ def highlight(lines, language='py'): # happy with other highlighters. fromchild_buf, tochild_buf = '', '' - in_pre = False - to_run = [config.highlight_command, '--syntax', language, '-c', '/dev/null', '--quiet'] + to_run = [config.highlight_command, '--syntax', language, '-c', '/dev/null', '--quiet', '--xhtml', '--force', '--anchors', '--fragment'] process = popen2.Popen3(to_run, capturestderr=True) map (set_nonblocking, [ process.fromchild, @@ -57,16 +56,11 @@ def highlight(lines, language='py'): idx = fromchild_buf.find('\n') if idx == -1: break - if in_pre and fromchild_buf.startswith('