diff options
author | gbrandl <devnull@localhost> | 2007-01-20 18:48:39 +0100 |
---|---|---|
committer | gbrandl <devnull@localhost> | 2007-01-20 18:48:39 +0100 |
commit | 01bdff3b2ae2a0cfe0f47cbd2ba731634975dabe (patch) | |
tree | 0decd85824e1e0ae601b394c4431a2a08286aa70 /pygments/filters | |
parent | ed188fd9f6fc0f5adaec44daca32d6bcfff5ce80 (diff) | |
download | pygments-01bdff3b2ae2a0cfe0f47cbd2ba731634975dabe.tar.gz |
[svn] Some minor cleanup.
Diffstat (limited to 'pygments/filters')
-rw-r--r-- | pygments/filters/__init__.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/filters/__init__.py b/pygments/filters/__init__.py index 206cf9aa..be52a01b 100644 --- a/pygments/filters/__init__.py +++ b/pygments/filters/__init__.py @@ -15,7 +15,7 @@ except NameError: from sets import Set as set import re -from pygments.token import String, Comment, Keyword, Name, string_to_token +from pygments.token import String, Comment, Keyword, Name, string_to_tokentype from pygments.filter import Filter from pygments.util import get_list_opt from pygments.plugin import find_plugin_filters @@ -119,7 +119,7 @@ class NameHighlightFilter(Filter): self.words = set(get_list_opt(options, 'highlight', [])) highlight_token = options.get('highlight_token') if highlight_token: - self.highlight_token = string_to_token(highlight_token) + self.highlight_token = string_to_tokentype(highlight_token) else: self.highlight_token = Name.Function |