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

changeset 7701
25f42e208e08
parent 7547
21b0534faebc
child 7983
54c5cfbb1e29
equal deleted inserted replaced
7700:a3cf077a8db3 7701:25f42e208e08
3 pygments.styles.inkpot 3 pygments.styles.inkpot
4 ~~~~~~~~~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~~~~~~~~~
5 5
6 A highlighting style for Pygments, inspired by the Inkpot theme for VIM. 6 A highlighting style for Pygments, inspired by the Inkpot theme for VIM.
7 7
8 :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2020 by the Pygments team, see AUTHORS.
9 :license: BSD, see LICENSE for details. 9 :license: BSD, see LICENSE for details.
10 """ 10 """
11 11
12 from pygments.style import Style 12 from pygments.style import Style
13 from pygments.token import Text, Other, Keyword, Name, Comment, String, \ 13 from pygments.token import Text, Other, Keyword, Name, Comment, String, \

eric ide

mercurial