ThirdParty/Pygments/pygments/style.py

changeset 4697
c2e9bf425554
parent 4172
4f20dba37ab6
child 5713
6762afd9f963
equal deleted inserted replaced
4696:bf4d19a7cade 4697:c2e9bf425554
3 pygments.style 3 pygments.style
4 ~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~
5 5
6 Basic style object. 6 Basic style object.
7 7
8 :copyright: Copyright 2006-2014 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2015 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 from pygments.util import add_metaclass 13 from pygments.util import add_metaclass
38 for token in ttype.split(): 38 for token in ttype.split():
39 if token in _styles: 39 if token in _styles:
40 continue 40 continue
41 ndef = _styles.get(token.parent, None) 41 ndef = _styles.get(token.parent, None)
42 styledefs = obj.styles.get(token, '').split() 42 styledefs = obj.styles.get(token, '').split()
43 if not ndef or token is None: 43 if not ndef or token is None:
44 ndef = ['', 0, 0, 0, '', '', 0, 0, 0] 44 ndef = ['', 0, 0, 0, '', '', 0, 0, 0]
45 elif 'noinherit' in styledefs and token is not Token: 45 elif 'noinherit' in styledefs and token is not Token:
46 ndef = _styles[Token][:] 46 ndef = _styles[Token][:]
47 else: 47 else:
48 ndef = ndef[:] 48 ndef = ndef[:]

eric ide

mercurial