# HG changeset patch # User Isaac Jurado # Date 1207423742 -7200 # Node ID 938319418d8c33aa0abac7c7ef3d271f4b72af93 # Parent ab8038bf512719e4d7d17c0660ae988f6fddead6 highlight: Generate pygments style sheet dynamically This patch allows a per-repository (for example, within a hgwebdir) selection of pygments_style web option. No static .css files required. Test edited by pmezard (compatibility fixes) diff -r ab8038bf5127 -r 938319418d8c hgext/highlight.py --- a/hgext/highlight.py Sat Apr 05 19:33:34 2008 +0200 +++ b/hgext/highlight.py Sat Apr 05 21:29:02 2008 +0200 @@ -15,10 +15,7 @@ [web] pygments_style =