##// END OF EJS Templates
Don't list pygments styles on import...
Thomas Kluyver -
Show More
@@ -129,9 +129,11 b' class TerminalInteractiveShell(InteractiveShell):'
129 help="Enable mouse support in the prompt\n(Note: prevents selecting text with the mouse)"
129 help="Enable mouse support in the prompt\n(Note: prevents selecting text with the mouse)"
130 ).tag(config=True)
130 ).tag(config=True)
131
131
132 # We don't load the list of styles for the help string, because loading
133 # Pygments plugins takes time and can cause unexpected errors.
132 highlighting_style = Union([Unicode('legacy'), Type(klass=Style)],
134 highlighting_style = Union([Unicode('legacy'), Type(klass=Style)],
133 help="""The name or class of a Pygments style to use for syntax
135 help="""The name or class of a Pygments style to use for syntax
134 highlighting: \n %s""" % ', '.join(get_all_styles())
136 highlighting. To see available styles, run `pygmentize -L styles`."""
135 ).tag(config=True)
137 ).tag(config=True)
136
138
137
139
General Comments 0
You need to be logged in to leave comments. Login now