diff options
| author | Pepijn de Vos <pepijndevos@gmail.com> | 2012-07-16 10:35:00 -0400 |
|---|---|---|
| committer | Pepijn de Vos <pepijndevos@gmail.com> | 2012-07-16 10:35:00 -0400 |
| commit | 653501cf1c77eddd572199c9ff494bceb7828304 (patch) | |
| tree | 59f6d3c91493dd785d974a65f80c24f4ab431dc5 /pygments/formatters/html.py | |
| parent | 0b620cedec8b0fd3debf9788ab24386cc88cbaef (diff) | |
| download | pygments-653501cf1c77eddd572199c9ff494bceb7828304.tar.gz | |
fix for possible mutiline names
Diffstat (limited to 'pygments/formatters/html.py')
| -rw-r--r-- | pygments/formatters/html.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/formatters/html.py b/pygments/formatters/html.py index 27db0e8e..ed45b2f2 100644 --- a/pygments/formatters/html.py +++ b/pygments/formatters/html.py @@ -694,7 +694,7 @@ class HtmlFormatter(Formatter): base, filename = os.path.split(filename) filename, extension = os.path.splitext(filename) url = urlformat.format(path=base, fname=filename, fext=extension) - parts[0] = "<a href=\"%s#%s-%d\">%s" % (url, self.lineanchors, linenumber, value) + parts[0] = "<a href=\"%s#%s-%d\">%s" % (url, self.lineanchors, linenumber, parts[0]) parts[-1] = parts[-1] + "</a>" # for all but the last line |