diff options
author | monster <[email protected]> | 2022-07-07 14:41:37 +0300 |
---|---|---|
committer | monster <[email protected]> | 2022-07-07 14:41:37 +0300 |
commit | 06e5c21a835c0e923506c4ff27929f34e00761c2 (patch) | |
tree | 75efcbc6854ef9bd476eb8bf00cc5c900da436a2 /contrib/python/Pygments/py2/pygments/styles/borland.py | |
parent | 03f024c4412e3aa613bb543cf1660176320ba8f4 (diff) |
fix ya.make
Diffstat (limited to 'contrib/python/Pygments/py2/pygments/styles/borland.py')
-rw-r--r-- | contrib/python/Pygments/py2/pygments/styles/borland.py | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/contrib/python/Pygments/py2/pygments/styles/borland.py b/contrib/python/Pygments/py2/pygments/styles/borland.py deleted file mode 100644 index e8ec1229fb4..00000000000 --- a/contrib/python/Pygments/py2/pygments/styles/borland.py +++ /dev/null @@ -1,51 +0,0 @@ -# -*- coding: utf-8 -*- -""" - pygments.styles.borland - ~~~~~~~~~~~~~~~~~~~~~~~ - - Style similar to the style used in the Borland IDEs. - - :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS. - :license: BSD, see LICENSE for details. -""" - -from pygments.style import Style -from pygments.token import Keyword, Name, Comment, String, Error, \ - Number, Operator, Generic, Whitespace - - -class BorlandStyle(Style): - """ - Style similar to the style used in the borland IDEs. - """ - - default_style = '' - - styles = { - Whitespace: '#bbbbbb', - - Comment: 'italic #008800', - Comment.Preproc: 'noitalic #008080', - Comment.Special: 'noitalic bold', - - String: '#0000FF', - String.Char: '#800080', - Number: '#0000FF', - Keyword: 'bold #000080', - Operator.Word: 'bold', - Name.Tag: 'bold #000080', - Name.Attribute: '#FF0000', - - Generic.Heading: '#999999', - Generic.Subheading: '#aaaaaa', - Generic.Deleted: 'bg:#ffdddd #000000', - Generic.Inserted: 'bg:#ddffdd #000000', - Generic.Error: '#aa0000', - Generic.Emph: 'italic', - Generic.Strong: 'bold', - Generic.Prompt: '#555555', - Generic.Output: '#888888', - Generic.Traceback: '#aa0000', - - Error: 'bg:#e3d2d2 #a61717' - } |