1. Georg Brandl
  2. pygments-main
  3. Issues
Issue #361 resolved

Token type "Other" raises an exception

created an issue

In pygments.token.py, the token type "Other" is associated with a css class "x". If I try to define a new style with this token type included, an exception is raised. (Other: "bold", NameError: name 'Other' is not defined )

Comments (4)

  1. aroberge reporter

    Sorry, this was a mistake. I just used another style as template, and forgot to include an import statement for "Other" as it was not used in the other style.

  2. Log in to comment