##// END OF EJS Templates
Merge pull request #9766 from dongweiming/highlighting_style...
Thomas Kluyver -
r22696:ff3a9bc1 merge
parent child Browse files
Show More
@@ -67,7 +67,7 b" is set to ``'legacy'``. It has four case-insensitive values:"
67 67 should be legible on either dark or light terminal backgrounds. *linux* is
68 68 optimised for dark backgrounds and *lightbg* for light ones.
69 69
70 ``TerminalInteractiveShell.highlight_style`` determines prompt colours and syntax
70 ``TerminalInteractiveShell.highlighting_style`` determines prompt colours and syntax
71 71 highlighting. It takes the name of a Pygments style as a string, or the special
72 72 value ``'legacy'`` to pick a style in accordance with ``InteractiveShell.colors``.
73 73
@@ -76,7 +76,7 b' You can see the Pygments styles available on your system by running::'
76 76 import pygments
77 77 list(pygments.styles.get_all_styles())
78 78
79 Additionally, ``TerminalInteractiveShell.highlight_style_overrides`` can override
79 Additionally, ``TerminalInteractiveShell.highlighting_style_overrides`` can override
80 80 specific styles in the highlighting. It should be a dictionary mapping Pygments
81 81 token types to strings defining the style. See `Pygments' documentation
82 82 <http://pygments.org/docs/styles/#creating-own-styles>`__ for the language used
General Comments 0
You need to be logged in to leave comments. Login now