mirrors/xonsh
1
0
Fork 0
mirror of https://github.com/xonsh/xonsh.git synced 2025-03-04 16:34:47 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #728 from Carreau/colors

Browse source 
Fix colors on recent enough pygments
This commit is contained in:
Anthony Scopatz 2016-03-12 08:19:12 -06:00
commit 58fac13387
1 changed files with 42 additions and 19 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

61
xonsh/pyghooks.py
View file

@ -498,25 +498,48 @@ BW_STYLE = {
}
_expand_style(BW_STYLE)
DEFAULT_STYLE = {
Color.BLACK: '#000000',
Color.BLUE: '#0000AA',
Color.CYAN: '#00AAAA',
Color.GREEN: '#00AA00',
Color.INTENSE_BLACK: '#555555',
Color.INTENSE_BLUE: '#0000FF',
Color.INTENSE_CYAN: '#55FFFF',
Color.INTENSE_GREEN: '#00FF00',
Color.INTENSE_PURPLE: '#FF00FF',
Color.INTENSE_RED: '#FF0000',
Color.INTENSE_WHITE: '#aaaaaa',
Color.INTENSE_YELLOW: '#FFFF55',
Color.NO_COLOR: 'noinherit',
Color.PURPLE: '#AA00AA',
Color.RED: '#AA0000',
Color.WHITE: '#ffffff',
Color.YELLOW: '#ffff00',
}
if hasattr(pygments.style, 'ansicolors'):
DEFAULT_STYLE = {
Color.BLACK: '#ansidarkgray',
Color.BLUE: '#ansiblue',
Color.CYAN: '#ansiturquoise',
Color.GREEN: '#ansigreen',
Color.INTENSE_BLACK: '#ansiblack',
Color.INTENSE_BLUE: '#ansidarkblue',
Color.INTENSE_CYAN: '#ansiteal',
Color.INTENSE_GREEN: '#ansidarkgreen',
Color.INTENSE_PURPLE: '#ansipurple',
Color.INTENSE_RED: '#ansidarkred',
Color.INTENSE_WHITE: '#ansilightgray',
Color.INTENSE_YELLOW: '#ansibrown',
Color.NO_COLOR: 'noinherit',
Color.PURPLE: '#ansifuchsia',
Color.RED: '#ansired',
Color.WHITE: '#ansiwhite',
Color.YELLOW: '#ansiyellow',
}
else:
DEFAULT_STYLE = {
Color.BLACK: '#000000',
Color.BLUE: '#0000AA',
Color.CYAN: '#00AAAA',
Color.GREEN: '#00AA00',
Color.INTENSE_BLACK: '#555555',
Color.INTENSE_BLUE: '#0000FF',
Color.INTENSE_CYAN: '#55FFFF',
Color.INTENSE_GREEN: '#00FF00',
Color.INTENSE_PURPLE: '#FF00FF',
Color.INTENSE_RED: '#FF0000',
Color.INTENSE_WHITE: '#aaaaaa',
Color.INTENSE_YELLOW: '#FFFF55',
Color.NO_COLOR: 'noinherit',
Color.PURPLE: '#AA00AA',
Color.RED: '#AA0000',
Color.WHITE: '#ffffff',
Color.YELLOW: '#ffff00',
}
_expand_style(DEFAULT_STYLE)
MONOKAI_STYLE = {