[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: terminal @number vs. @user-number
From: |
Wojciech Polak |
Subject: |
Re: terminal @number vs. @user-number |
Date: |
Wed, 24 Oct 2007 21:35:02 +0200 |
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 :).