ThirdParty/Pygments/pygments/console.py

changeset 4172
4f20dba37ab6
parent 3145
a9de05d4a22f
child 4697
c2e9bf425554
equal deleted inserted replaced
4170:8bc578136279 4172:4f20dba37ab6
3 pygments.console 3 pygments.console
4 ~~~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~~~
5 5
6 Format colored console output. 6 Format colored console output.
7 7
8 :copyright: Copyright 2006-2013 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2014 by the Pygments team, see AUTHORS.
9 :license: BSD, see LICENSE for details. 9 :license: BSD, see LICENSE for details.
10 """ 10 """
11
12 from __future__ import unicode_literals
13 11
14 esc = "\x1b[" 12 esc = "\x1b["
15 13
16 codes = {} 14 codes = {}
17 codes[""] = "" 15 codes[""] = ""

eric ide

mercurial