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

changeset 7701
25f42e208e08
parent 7547
21b0534faebc
child 7983
54c5cfbb1e29
equal deleted inserted replaced
7700:a3cf077a8db3 7701:25f42e208e08
3 pygments.styles 3 pygments.styles
4 ~~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~~
5 5
6 Contains built-in styles. 6 Contains built-in styles.
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.plugin import find_plugin_styles 12 from pygments.plugin import find_plugin_styles
13 from pygments.util import ClassNotFound 13 from pygments.util import ClassNotFound
79 79
80 80
81 def get_all_styles(): 81 def get_all_styles():
82 """Return an generator for all styles by name, 82 """Return an generator for all styles by name,
83 both builtin and plugin.""" 83 both builtin and plugin."""
84 for name in STYLE_MAP: 84 yield from STYLE_MAP
85 yield name
86 for name, _ in find_plugin_styles(): 85 for name, _ in find_plugin_styles():
87 yield name 86 yield name

eric ide

mercurial