##// END OF EJS Templates
Merge pull request #10859 from takluyver/dont-list-pygments-styles...
Thomas Kluyver -
r23999:81f2348b merge
parent child Browse files
Show More
@@ -25,7 +25,7 b' from prompt_toolkit.key_binding.manager import KeyBindingManager'
25 from prompt_toolkit.layout.processors import ConditionalProcessor, HighlightMatchingBracketProcessor
25 from prompt_toolkit.layout.processors import ConditionalProcessor, HighlightMatchingBracketProcessor
26 from prompt_toolkit.styles import PygmentsStyle, DynamicStyle
26 from prompt_toolkit.styles import PygmentsStyle, DynamicStyle
27
27
28 from pygments.styles import get_style_by_name, get_all_styles
28 from pygments.styles import get_style_by_name
29 from pygments.style import Style
29 from pygments.style import Style
30 from pygments.token import Token
30 from pygments.token import Token
31
31
@@ -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