ThirdParty/Pygments/pygments/console.py

changeset 5713
6762afd9f963
parent 4697
c2e9bf425554
equal deleted inserted replaced
5712:f0d08bdeacf4 5713:6762afd9f963
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-2015 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2017 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 esc = "\x1b[" 12 esc = "\x1b["
13 13
14 codes = {} 14 codes = {}
15 codes[""] = "" 15 codes[""] = ""
16 codes["reset"] = esc + "39;49;00m" 16 codes["reset"] = esc + "39;49;00m"
17 17
18 codes["bold"] = esc + "01m" 18 codes["bold"] = esc + "01m"
19 codes["faint"] = esc + "02m" 19 codes["faint"] = esc + "02m"
20 codes["standout"] = esc + "03m" 20 codes["standout"] = esc + "03m"
21 codes["underline"] = esc + "04m" 21 codes["underline"] = esc + "04m"
22 codes["blink"] = esc + "05m" 22 codes["blink"] = esc + "05m"
23 codes["overline"] = esc + "06m" 23 codes["overline"] = esc + "06m"
24 24
25 dark_colors = ["black", "darkred", "darkgreen", "brown", "darkblue", 25 dark_colors = ["black", "darkred", "darkgreen", "brown", "darkblue",
26 "purple", "teal", "lightgray"] 26 "purple", "teal", "lightgray"]
27 light_colors = ["darkgray", "red", "green", "yellow", "blue", 27 light_colors = ["darkgray", "red", "green", "yellow", "blue",
28 "fuchsia", "turquoise", "white"] 28 "fuchsia", "turquoise", "white"]
29 29
30 x = 30 30 x = 30
31 for d, l in zip(dark_colors, light_colors): 31 for d, l in zip(dark_colors, light_colors):
33 codes[l] = esc + "%i;01m" % x 33 codes[l] = esc + "%i;01m" % x
34 x += 1 34 x += 1
35 35
36 del d, l, x 36 del d, l, x
37 37
38 codes["darkteal"] = codes["turquoise"] 38 codes["darkteal"] = codes["turquoise"]
39 codes["darkyellow"] = codes["brown"] 39 codes["darkyellow"] = codes["brown"]
40 codes["fuscia"] = codes["fuchsia"] 40 codes["fuscia"] = codes["fuchsia"]
41 codes["white"] = codes["bold"] 41 codes["white"] = codes["bold"]
42 42
43 43
44 def reset_color(): 44 def reset_color():
45 return codes["reset"] 45 return codes["reset"]
46 46

eric ide

mercurial