ext/rest.py
branchstable
changeset 7879 9aae456abab5
parent 7815 2a164a9cf81c
child 8695 358d8bed9626
child 8710 becbbbc840b8
equal deleted inserted replaced
7874:be04706eacc9 7879:9aae456abab5
   185                               'encoding': directives.encoding}
   185                               'encoding': directives.encoding}
   186 
   186 
   187 try:
   187 try:
   188     from pygments import highlight
   188     from pygments import highlight
   189     from pygments.lexers import get_lexer_by_name
   189     from pygments.lexers import get_lexer_by_name
   190     from pygments.formatters import HtmlFormatter
   190     from pygments.formatters.html import HtmlFormatter
   191 except ImportError:
   191 except ImportError:
   192     pygments_directive = None
   192     pygments_directive = None
   193 else:
   193 else:
   194     _PYGMENTS_FORMATTER = HtmlFormatter()
   194     _PYGMENTS_FORMATTER = HtmlFormatter()
   195 
   195