Re: terminal @number vs. @user-number

[Wojciech Polak]

On 2007-10-21 at 20:18 -0400, Joel E. Denny wrote:

> Well, I'm brainstorming, so some of my arguments may be flimsy.  In 
> general, it seems like there are scenarios when it would be more 
> convenient, more consistent, and cleaner for the user to be able to access 
> all the symbol numbers than to have to resort to other techniques.  What 
> do you think?

Thank you for more detailed description. I think this looks good
and it's fine with me, so go ahead :).