eric6/ThirdParty/Pygments/pygments/filter.py

changeset 7547
21b0534faebc
parent 6942
2602857055c5
child 7701
25f42e208e08
equal deleted inserted replaced
7546:bf5f777260a6 7547:21b0534faebc
3 pygments.filter 3 pygments.filter
4 ~~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~~
5 5
6 Module that implements the default filter. 6 Module that implements the default filter.
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 12
13 def apply_filters(stream, filters, lexer=None): 13 def apply_filters(stream, filters, lexer=None):
38 '__doc__': f.__doc__, 38 '__doc__': f.__doc__,
39 'function': f, 39 'function': f,
40 }) 40 })
41 41
42 42
43 class Filter(object): 43 class Filter:
44 """ 44 """
45 Default filter. Subclass this class or use the `simplefilter` 45 Default filter. Subclass this class or use the `simplefilter`
46 decorator to create own filters. 46 decorator to create own filters.
47 """ 47 """
48 48

eric ide

mercurial