eric6/ThirdParty/Pygments/pygments/plugin.py

changeset 7701
25f42e208e08
parent 7547
21b0534faebc
child 7983
54c5cfbb1e29
equal deleted inserted replaced
7700:a3cf077a8db3 7701:25f42e208e08
30 30
31 [pygments.filter] 31 [pygments.filter]
32 yourfilter = yourfilter:YourFilter 32 yourfilter = yourfilter:YourFilter
33 33
34 34
35 :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS. 35 :copyright: Copyright 2006-2020 by the Pygments team, see AUTHORS.
36 :license: BSD, see LICENSE for details. 36 :license: BSD, see LICENSE for details.
37 """ 37 """
38 LEXER_ENTRY_POINT = 'pygments.lexers' 38 LEXER_ENTRY_POINT = 'pygments.lexers'
39 FORMATTER_ENTRY_POINT = 'pygments.formatters' 39 FORMATTER_ENTRY_POINT = 'pygments.formatters'
40 STYLE_ENTRY_POINT = 'pygments.styles' 40 STYLE_ENTRY_POINT = 'pygments.styles'

eric ide

mercurial