eric6/ThirdParty/Pygments/pygments/styles/manni.py

changeset 7983
54c5cfbb1e29
parent 7701
25f42e208e08
equal deleted inserted replaced
7982:48d210e41c65 7983:54c5cfbb1e29
6 A colorful style, inspired by the terminal highlighting style. 6 A colorful style, inspired by the terminal highlighting style.
7 7
8 This is a port of the style used in the `php port`_ of pygments 8 This is a port of the style used in the `php port`_ of pygments
9 by Manni. The style is called 'default' there. 9 by Manni. The style is called 'default' there.
10 10
11 :copyright: Copyright 2006-2020 by the Pygments team, see AUTHORS. 11 :copyright: Copyright 2006-2021 by the Pygments team, see AUTHORS.
12 :license: BSD, see LICENSE for details. 12 :license: BSD, see LICENSE for details.
13 """ 13 """
14 14
15 from pygments.style import Style 15 from pygments.style import Style
16 from pygments.token import Keyword, Name, Comment, String, Error, \ 16 from pygments.token import Keyword, Name, Comment, String, Error, \

eric ide

mercurial