comparison docs/details-filter.rst @ 166:6a7dace0141e

Also implement filters to replace tokens in a token stream: TokenReplaceFilter and ErrorToGenericErrorTokenFilter
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 08 May 2026 23:54:06 +0200
parents
children
comparison
equal deleted inserted replaced
165:88f872c50aae 166:6a7dace0141e
1 .. -*- coding: utf-8; indent-tabs-mode: nil; -*-
2
3 .. _details-filter:
4
5 ********
6 Filter
7 ********
8
9 ErrorToGenericErrorTokenFilter
10 ==============================
11
12 :Name: errortogenericerror
13 :Filter Options: none
14
15 Replace all :py:class:`pygments.token.Token.Error` tokens in a stream by
16 :py:class:`pygments.token.Token.Generic.Error` tokens.
17
18
19 TokenReplaceFilter
20 ==================
21
22 :Name: tokenreplace
23 :Required Filter Options:
24 **token_from**
25 **Type:** :py:class:`str` or :py:class:`pygments.token.Token`
26
27 **token_to**
28 **Type:** :py:class:`str` or :py:class:`pygments.token.Token`
29
30 Replace all token types given in `token_from` by the token type given
31 in `token_to`.