equal
deleted
inserted
replaced
1154 lineidprefix=b'%s-' % ctx.hex()[:12], |
1154 lineidprefix=b'%s-' % ctx.hex()[:12], |
1155 ) |
1155 ) |
1156 |
1156 |
1157 linerange = None |
1157 linerange = None |
1158 if lrange is not None: |
1158 if lrange is not None: |
|
1159 assert lrange is not None # help pytype (!?) |
1159 linerange = webutil.formatlinerange(*lrange) |
1160 linerange = webutil.formatlinerange(*lrange) |
1160 # deactivate numeric nav links when linerange is specified as this |
1161 # deactivate numeric nav links when linerange is specified as this |
1161 # would required a dedicated "revnav" class |
1162 # would required a dedicated "revnav" class |
1162 nav = templateutil.mappinglist([]) |
1163 nav = templateutil.mappinglist([]) |
1163 if descend: |
1164 if descend: |