| Index: tools/json_schema_compiler/highlighters/pygments_highlighter.py
|
| diff --git a/tools/json_schema_compiler/highlighters/pygments_highlighter.py b/tools/json_schema_compiler/highlighters/pygments_highlighter.py
|
| deleted file mode 100644
|
| index 06abd33c7909d3f1c2b6173310ab62ebe6e8943e..0000000000000000000000000000000000000000
|
| --- a/tools/json_schema_compiler/highlighters/pygments_highlighter.py
|
| +++ /dev/null
|
| @@ -1,37 +0,0 @@
|
| -# Copyright (c) 2012 The Chromium Authors. All rights reserved.
|
| -# Use of this source code is governed by a BSD-style license that can be
|
| -# found in the LICENSE file.
|
| -
|
| -import sys
|
| -try:
|
| - import pygments
|
| - from pygments.lexers import CppLexer
|
| - from pygments.formatters import HtmlFormatter
|
| - PYGMENTS_IMPORTED = True
|
| -except ImportError:
|
| - print('It appears that Pygments is not installed. '
|
| - 'Can be installed using easy_install Pygments or from http://pygments.org.')
|
| - PYGMENTS_IMPORTED = False
|
| -
|
| -class PygmentsHighlighter(object):
|
| - def __init__(self):
|
| - if not PYGMENTS_IMPORTED:
|
| - raise ImportError('Pygments not installed')
|
| -
|
| - """Highlighter that uses the python pygments library to highlight code.
|
| - """
|
| - def GetCSS(self, style):
|
| - formatter = HtmlFormatter(linenos=True,
|
| - style=pygments.styles.get_style_by_name(style))
|
| - return formatter.get_style_defs('.highlight')
|
| -
|
| - def GetCodeElement(self, code, style):
|
| - formatter = HtmlFormatter(linenos=True,
|
| - style=pygments.styles.get_style_by_name(style))
|
| - return pygments.highlight(code, CppLexer(), formatter)
|
| -
|
| - def DisplayName(self):
|
| - return 'pygments' + ('' if PYGMENTS_IMPORTED else ' (not installed)')
|
| -
|
| - def GetStyles(self):
|
| - return list(pygments.styles.get_all_styles())
|
|
|