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
