[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: symbol name which starts with #
From: |
Shigio Yamaguchi |
Subject: |
Re: symbol name which starts with # |
Date: |
Tue, 22 Mar 2005 08:19:05 +0900 |
> HTML/defines.html contains the following line.
> <a href='defines/#.html' title='2 definitions are containded.'>[#]</a>
>
> Should we change htags so that href='defines/%23.html' will be outputted?
> Or should gtags-parser be changed so that the symbol which starts with '#'
> may not be contained in GTAGS?
I think the former is preferable.
How about using octal form (%03d) ?
defines/043.html
Currently, this method is used for multi-bytes code set (c > 127).
--
Shigio YAMAGUCHI <address@hidden> - Tama Communications Corporation
PGP fingerprint: D1CB 0B89 B346 4AB6 5663 C4B6 3CA5 BBB3 57BE DDA3