ThirdParty/Pygments/pygments/formatters/other.py

branch
Py2 comp.
changeset 3145
a9de05d4a22f
parent 2525
8b507a9a2d40
child 4172
4f20dba37ab6
equal deleted inserted replaced
3144:bb63e24383e4 3145:a9de05d4a22f
7 7
8 :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2013 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 __future__ import unicode_literals # __IGNORE_WARNING__ 12 from __future__ import unicode_literals
13 13
14 from pygments.formatter import Formatter 14 from pygments.formatter import Formatter
15 from pygments.util import OptionError, get_choice_opt, b 15 from pygments.util import OptionError, get_choice_opt, b
16 from pygments.token import Token 16 from pygments.token import Token
17 from pygments.console import colorize 17 from pygments.console import colorize

eric ide

mercurial