equal
deleted
inserted
replaced
145 winclude_directive.options = {'literal': directives.flag, |
145 winclude_directive.options = {'literal': directives.flag, |
146 'encoding': directives.encoding} |
146 'encoding': directives.encoding} |
147 |
147 |
148 try: |
148 try: |
149 from pygments import highlight |
149 from pygments import highlight |
150 from pygments.lexers import get_lexer_by_name, LEXERS |
150 from pygments.lexers import get_lexer_by_name |
151 from pygments.formatters import HtmlFormatter |
151 from pygments.formatters import HtmlFormatter |
152 except ImportError: |
152 except ImportError: |
153 pygments_directive = None |
153 pygments_directive = None |
154 else: |
154 else: |
155 _PYGMENTS_FORMATTER = HtmlFormatter() |
155 _PYGMENTS_FORMATTER = HtmlFormatter() |