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

changeset 7983
54c5cfbb1e29
parent 7701
25f42e208e08
equal deleted inserted replaced
7982:48d210e41c65 7983:54c5cfbb1e29
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-2020 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2021 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