28 Apr
2019
28 Apr
'19
3:25 p.m.
On 28Apr19, at 04:27, Hans Hagen
wrote: \setupinteractionscreen[option=nomenubar] switch. I wonder if it would be possible to add this little feature to the source code.
Why don’t you simply put this setup in your local environment (texmf-local) as I do not believe that it should in anyway become a default. Alan -- Alan Braslau