Show More
@@ -115,10 +115,16 b' class PTInteractiveShell(InteractiveShell):' | |||
|
115 | 115 | style_cls = get_style_by_name(self.highlighting_style) |
|
116 | 116 | else: |
|
117 | 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 | 121 | style_overrides.update({ |
|
119 | 122 | Token.Number: '#007700', |
|
120 | 123 | Token.Operator: 'noinherit', |
|
121 | 124 | Token.String: '#BB6622', |
|
125 | Token.Name.Function: '#2080D0', | |
|
126 | Token.Name.Class: 'bold #2080D0', | |
|
127 | Token.Name.Namespace: 'bold #2080D0', | |
|
122 | 128 | }) |
|
123 | 129 | style_overrides.update(self.highlighting_style_overrides) |
|
124 | 130 | style = PygmentsStyle.from_defaults(pygments_style_cls=style_cls, |
General Comments 0
You need to be logged in to leave comments.
Login now