[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: lynx-dev removing HTMLSRC_* stuff: suggest a new setting name, pleas
From: |
Vlad Harchev |
Subject: |
Re: lynx-dev removing HTMLSRC_* stuff: suggest a new setting name, please |
Date: |
Mon, 4 Dec 2000 23:28:28 +0400 (SAMT) |
On Tue, 4 Jan 2000, Klaus Weide wrote:
> On Mon, 4 Dec 2000, Vlad Harchev wrote:
>
> > I'm removing HTMLSRC_* stuff (hiding all setting with names begining
> > HTMLSRC_blah
> > under a one, with subscription by the blah, case of blah doesn't matter).
> > What
> > should be the name of that setting? I suggest PSRCSPEC.
> > (Ie, new way to say "HTMLSRC_comment:b:!b" will PSRCSPEC:comment:b:!b).
> >
> > Any suggestions?
>
> Why not just
>
> PRETTYSRC:comment:b:!b ?
>
> Or
> PSRC:comment:b:!b? .
>
> Klaus
>
I already sent patch with PSRCSPEC name chosen. Seems that PRETTYSRC and PSRC
are equally uninformative, while PSRCSPEC tells that it's some specification
(not simply the value). But I don't insist on PSRCSPEC.
Best regards,
-Vlad
- lynx-dev removing HTMLSRC_* stuff: suggest a new setting name, please, Vlad Harchev, 2000/01/04
- Re: lynx-dev removing HTMLSRC_* stuff: suggest a new setting name, please, Klaus Weide, 2000/01/04
- Re: lynx-dev removing HTMLSRC_* stuff: suggest a new setting name, please,
Vlad Harchev <=
- Re: lynx-dev removing HTMLSRC_* stuff: suggest a new setting name, please, Leonid Pauzner, 2000/01/04
- Re: lynx-dev removing HTMLSRC_* stuff: suggest a new setting name, please, Klaus Weide, 2000/01/05
- Re: lynx-dev removing HTMLSRC_* stuff: suggest a new setting name, please, Vlad Harchev, 2000/01/06
- Re: lynx-dev removing HTMLSRC_* stuff: suggest a new setting name, please, Klaus Weide, 2000/01/06
- Re: lynx-dev removing HTMLSRC_* stuff: suggest a new setting name, please, Vlad Harchev, 2000/01/06
- Re: lynx-dev removing HTMLSRC_* stuff: suggest a new setting name, please, Klaus Weide, 2000/01/06
- Re: lynx-dev removing HTMLSRC_* stuff: suggest a new setting name, please, Vlad Harchev, 2000/01/06