On Wed, 9 Nov 2005, Corinna Vinschen wrote:
> On Nov 9 09:35, Igor Pechtchanski wrote:
> > On Wed, 9 Nov 2005, Corinna Vinschen wrote:
> > > The main problem is to get the user to notice that this is something
> > > special. I had a long hard look into the chooser window and it's
> > > not only that this meta category should come first, it should also
> > > be an eye catcher by its own, IMHO.
> > >
> > > Therefore I'd like to propose an all uppercase name for this category.
> > >
> > > DEFAULT-PROFILES
> > > USER-PROFILES
> >
> > We'll need to put a space or an '@' at the beginning to ensure sort order,
>
> What about a leading dot?
Yep, looking at the lexer, a leading dot should work (without quoting).
And I like it better than an '@' or a space...
Igor
--
http://cs.nyu.edu/~pechtcha/
|\ _,,,---,,_ [EMAIL PROTECTED]
ZZZzz /,`.-'`' -. ;-;;,_ [EMAIL PROTECTED]
|,4- ) )-,_. ,\ ( `'-' Igor Pechtchanski, Ph.D.
'---''(_/--' `-'\_) fL a.k.a JaguaR-R-R-r-r-r-.-.-. Meow!
If there's any real truth it's that the entire multidimensional infinity
of the Universe is almost certainly being run by a bunch of maniacs. /DA
