highlight: make div trimmer work when lexer fails to identify text.
In this case, there is no initial <span> tag.
--- a/hgext/highlight.py Fri Feb 29 11:13:50 2008 -0800
+++ b/hgext/highlight.py Fri Feb 29 14:21:15 2008 -0800
@@ -72,7 +72,7 @@
colorized = highlight(text, lexer, formatter)
# strip wrapping div
colorized = colorized[:colorized.find('\n</pre>')]
- colorized = colorized[colorized.find('<span'):]
+ colorized = colorized[colorized.find('<pre>')+5:]
coloriter = iter(colorized.splitlines())
filters['colorize'] = lambda x: coloriter.next()