eric6/ThirdParty/Pygments/pygments/style.py

changeset 7701
25f42e208e08
parent 7547
21b0534faebc
child 7983
54c5cfbb1e29
equal deleted inserted replaced
7700:a3cf077a8db3 7701:25f42e208e08
3 pygments.style 3 pygments.style
4 ~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~
5 5
6 Basic style object. 6 Basic style object.
7 7
8 :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2020 by the Pygments team, see AUTHORS.
9 :license: BSD, see LICENSE for details. 9 :license: BSD, see LICENSE for details.
10 """ 10 """
11 11
12 from pygments.token import Token, STANDARD_TYPES 12 from pygments.token import Token, STANDARD_TYPES
13 13
174 background_color = '#ffffff' 174 background_color = '#ffffff'
175 175
176 #: highlight background color 176 #: highlight background color
177 highlight_color = '#ffffcc' 177 highlight_color = '#ffffcc'
178 178
179 #: line number font color
180 line_number_color = '#000000'
181
182 #: line number background color
183 line_number_background_color = '#f0f0f0'
184
185 #: special line number font color
186 line_number_special_color = '#000000'
187
188 #: special line number background color
189 line_number_special_background_color = '#ffffc0'
190
179 #: Style definitions for individual token types. 191 #: Style definitions for individual token types.
180 styles = {} 192 styles = {}

eric ide

mercurial