[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) ?
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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]