Ticket #5654: tracpygments-options.diff

__init__.py

@@ -60 +60 @@
         to override the default quality ratio used by the
         Pygments render.""")
 
+
+
+
+
+
+
+
+
+
+
     expand_tabs = True
     returns_source = True
 
@@ -218 +228 @@
                     Mimeview(self.env).configured_modes_mapping('pygments')
                 )
 
+
+
+
+
+
+
+
+
+
+
     def _highlight(self, language, content, annotate):
+
         formatter = HtmlFormatter(cssclass=not annotate and 'code' or '')
-        html = pygments.highlight(content, get_lexer_by_name(language),
+        opts = self._options.get(language, {})
+        opts['stripnl'] = False
+        lexer = get_lexer_by_name(language, **opts)
+        html = pygments.highlight(content, lexer,
                                   formatter).rstrip('\n')
         if annotate:
             return html[len('<div><pre>'):-len('</pre></div>')].splitlines()