ThirdParty/Pygments/pygments/formatters/terminal256.py

branch
Py2 comp.
changeset 3145
a9de05d4a22f
parent 2525
8b507a9a2d40
child 4172
4f20dba37ab6
equal deleted inserted replaced
3144:bb63e24383e4 3145:a9de05d4a22f
13 13
14 :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS. 14 :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS.
15 :license: BSD, see LICENSE for details. 15 :license: BSD, see LICENSE for details.
16 """ 16 """
17 17
18 from __future__ import unicode_literals # __IGNORE_WARNING__ 18 from __future__ import unicode_literals
19 19
20 # TODO: 20 # TODO:
21 # - Options to map style's bold/underline/italic/border attributes 21 # - Options to map style's bold/underline/italic/border attributes
22 # to some ANSI attrbutes (something like 'italic=underline') 22 # to some ANSI attrbutes (something like 'italic=underline')
23 # - An option to output "style RGB to xterm RGB/index" conversion table 23 # - An option to output "style RGB to xterm RGB/index" conversion table

eric ide

mercurial