On Fri, 13 Jan 2017, Riccardo (Jack) Lucchetti wrote:
On Fri, 13 Jan 2017, Allin Cottrell wrote:
> Regardless, "set verbose off" would turn off both (or "on" turn
on both).
> In my notion there would be a third libset string, but no third variable as
> such.
Ok, if I understand correctly what you mean, that's now in git.
That's exactly what I meant, thanks!
So just for the record, here's what's new:
<hansl>
set verbose off
<hansl>
can now be used to achieve the same effect as
<hansl>
set echo off
set messages off
</hansl>
and mutatis mutandis in the "on" direction. "echo" and
"messages"
can still be toggled individually if anyone has a reason to do so,
but "set verbose" overrides the state of the individual toggles.
Allin