changeset 287:f506d752e801

FIX: the type of a is pygments.token._TokenType -- not pygments.token.Token
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 22 May 2026 12:31:09 +0200
parents 051c8877ee22
children 298841bc4dee
files docs/filters.rst
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/docs/filters.rst	Thu May 21 09:32:35 2026 +0200
+++ b/docs/filters.rst	Fri May 22 12:31:09 2026 +0200
@@ -70,12 +70,12 @@
 :Name: tokenreplace
 :Filter Options:
    ``replacements``
-     **Type:** :py:class:`dict[str | pygments.token.Token, str | pygments.token.Token]`
+     **Type:** :py:class:`dict[str | pygments.token._TokenType, str | pygments.token._TokenType]`
 
      A map from tokens to their replacements.
 
    ``token_from``
-     **Type:** :py:class:`str` or :py:class:`pygments.token.Token`
+     **Type:** :py:class:`str` or :py:class:`pygments.token._TokenType`
 
      The name of a token type (like ``Error``) or a token object
      (like :py:class:`pygments.token.Token.Error`).
@@ -84,7 +84,7 @@
      augmented with their respective values.
 
    ``token_to``
-     **Type:** :py:class:`str` or :py:class:`pygments.token.Token`
+     **Type:** :py:class:`str` or :py:class:`pygments.token._TokenType`
 
      The name of a token type (like ``Generic.Error``) or a token object
      (like :py:class:`pygments.token.Token.Generic.Error`).