##// END OF EJS Templates
More tweaks to highlighting colours
Thomas Kluyver -
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