# HG changeset patch
# User Brendan Cully <brendan@kublai.com>
# Date 1204323675 28800
# Node ID f6565f7d9489a7ae65ad81e3b38c130bf44091ba
# Parent  fc9535ae6fe29d61c979343aadd35079c2b48c2d
highlight: make div trimmer work when lexer fails to identify text.
In this case, there is no initial <span> tag.

diff -r fc9535ae6fe2 -r f6565f7d9489 hgext/highlight.py
--- 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()