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

changeset 7547
21b0534faebc
parent 6942
2602857055c5
child 7701
25f42e208e08
equal deleted inserted replaced
7546:bf5f777260a6 7547:21b0534faebc
3 pygments.styles.rrt 3 pygments.styles.rrt
4 ~~~~~~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~~~~~~
5 5
6 pygments "rrt" theme, based on Zap and Emacs defaults. 6 pygments "rrt" theme, based on Zap and Emacs defaults.
7 7
8 :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2019 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 Comment, Name, Keyword, String 13 from pygments.token import Comment, Name, Keyword, String

eric ide

mercurial