Show More
@@ -115,10 +115,16 b' class PTInteractiveShell(InteractiveShell):' | |||||
115 | style_cls = get_style_by_name(self.highlighting_style) |
|
115 | style_cls = get_style_by_name(self.highlighting_style) | |
116 | else: |
|
116 | else: | |
117 | style_cls = get_style_by_name('default') |
|
117 | style_cls = get_style_by_name('default') | |
|
118 | # The default theme needs to be visible on both a dark background | |||
|
119 | # and a light background, because we can't tell what the terminal | |||
|
120 | # looks like. These tweaks to the default theme help with that. | |||
118 | style_overrides.update({ |
|
121 | style_overrides.update({ | |
119 | Token.Number: '#007700', |
|
122 | Token.Number: '#007700', | |
120 | Token.Operator: 'noinherit', |
|
123 | Token.Operator: 'noinherit', | |
121 | Token.String: '#BB6622', |
|
124 | Token.String: '#BB6622', | |
|
125 | Token.Name.Function: '#2080D0', | |||
|
126 | Token.Name.Class: 'bold #2080D0', | |||
|
127 | Token.Name.Namespace: 'bold #2080D0', | |||
122 | }) |
|
128 | }) | |
123 | style_overrides.update(self.highlighting_style_overrides) |
|
129 | style_overrides.update(self.highlighting_style_overrides) | |
124 | style = PygmentsStyle.from_defaults(pygments_style_cls=style_cls, |
|
130 | style = PygmentsStyle.from_defaults(pygments_style_cls=style_cls, |
General Comments 0
You need to be logged in to leave comments.
Login now