Thank you both for the explanations and the link to the discussion of
Pavel's patches.
Marcelo Zabani writes:
> Hi, according to the docs, RESET sets the value of a setting to
> "The default value is defined as the value that the parameter would have
> had, if no SET had ever been issued for it in the current session"
This is, I guess, strictly true only for built-in settings.
Cust
On Saturday, October 19, 2024, Marcelo Zabani wrote:
> Hi, according to the docs, RESET sets the value of a setting to
> "The default value is defined as the value that the parameter would have
> had, if no SET had ever been issued for it in the current session"
>
> Which confuses me given that t
