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


Reply via email to