# HG changeset patch # User souliane # Date 1457182682 -3600 # Node ID b43ee22eac9844ddb2a1ea9bcc8852f16a387eaa # Parent 7a07f232e7cb383b676d13212a06e25973c7915d frontends (tools/strings): fixXHTMLLinks skips internal anchors (links starting with "#") fix bug 126 diff -r 7a07f232e7cb -r b43ee22eac98 frontends/src/tools/strings.py --- a/frontends/src/tools/strings.py Fri Mar 04 23:24:06 2016 +0100 +++ b/frontends/src/tools/strings.py Sat Mar 05 13:58:02 2016 +0100 @@ -84,7 +84,7 @@ for match in re.finditer(r'', xhtml): tag = match.group(0) url = re.search(r'href="([^"]*)"', tag) - if url: + if url and not url.group(1).startswith("#"): # skip internal anchor if not re.search(r'target="([^"]*)"', tag): # no target subs.append((tag, '