Re: @code vs. @t for node names

[Patrice Dumas]

On Tue, Jan 15, 2013 at 06:04:35PM +0000, Karl Berry wrote:
> 
> But now I'm wondering if it would be better to use @t than @code.  Then
> there wouldn't be the 'quotes' in the node name, which seem like they
> just get in the way. 
> 
> (As far as I know all of the usual markup commands generate 'quotes'.)
> 
> Using @t will mean the output in TeX/HTML will still correctly use the
> typewriter font, which was one of the main reasons I wanted to do this.
> 
> 
> But before I switch everything again, I thought I'd ask ... any problems
> with @t for this come to mind?  Better alternatives?  ?

No, I don't see any problem, nor do I see better alternatives.  In the
code, I had to use a pseudo type to have the code style (that is `` is
still `` and not ") as there was no @-command that didn't add the
quotes.

-- 
Pat