eric6/ThirdParty/Pygments/pygments/plugin.py

changeset 7547
21b0534faebc
parent 6942
2602857055c5
child 7701
25f42e208e08
equal deleted inserted replaced
7546:bf5f777260a6 7547:21b0534faebc
30 30
31 [pygments.filter] 31 [pygments.filter]
32 yourfilter = yourfilter:YourFilter 32 yourfilter = yourfilter:YourFilter
33 33
34 34
35 :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS. 35 :copyright: Copyright 2006-2019 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