- Timestamp:
- 05/19/07 10:33:17 (18 months ago)
- Files:
-
- 1 modified
-
util/smartlinks.pl (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
-
util/smartlinks.pl
r16455 r16456 165 165 for (var i = 0, j = divs.length; i < j; i++) { 166 166 var curr = divs[i]; 167 if (!curr.id) { continue; } 168 if (curr.id.match(/smartlink_(\d+)/)) { 167 if (curr.id && curr.id.match(/smartlink_(\d+)/)) { 169 168 var num = RegExp.$1; 170 169 … … 202 201 curr.parentNode.insertBefore(p, curr); 203 202 curr.style.display = 'none'; 204 205 // explicitly jump to the page anchor (if any) since the code above messes it up 206 if (location.hash.match(/#.+/)) location.hash = RegExp.lastMatch;207 }203 } 204 205 // explicitly jump to the page anchor (if any) since the code above messes it up 206 if (location.hash && location.hash.match(/#.+/)) location.hash = RegExp.lastMatch; 208 207 } 209 208 }); … … 454 453 my $html = ''; 455 454 for ($curr .. $list->[0] - 1) { 456 $html .= qq{<a id "_line_$_"></a>\n};455 $html .= qq{<a id="_line_$_"></a>\n}; 457 456 } 458 457 $html;
