Re: master f17bdee79b1: sgml-mode.el: Cosmetic fixes

[Basil Contovounesios]

Robert Pluim [2023-07-17 15:17 +0200] wrote:

>>>>>> On Mon, 17 Jul 2023 08:57:03 -0400, Stefan Monnier 
>>>>>> <monnier@iro.umontreal.ca> said:
>
>     Stefan> It's not redundant: one describe the set of values that are 
> meaningful
>     Stefan> (so as to allow Custom to provide a more helpful UI), the other
>     Stefan> specifies which values are believed to be safe when coming from
>     Stefan> untrusted sources.
>
>     Stefan> They're closely related and often identical, but not always.
>
> Iʼm having a hard time coming up with a situation where they wouldnʼt
> be identical, but I guess they exist in the wild.

What about user options that can take on one of a set of predefined
atoms, or a custom function: then you may want to declare the defaults
as safe for use in a file-local variable, but not the arbitrary code.

-- 
Basil