Forwarded Message
Subject: Opening files
Date: Tue, 12 May 2020 10:41:14 +0200 (CEST)
From: fl
To: Megill Norman
Hi Norm,
can you post this:
and what prevents from opening the file from a menu and switching between
set mm and iset.mm from there.
--
FL
--
You received
> If FILENAME is omitted, guess that "set.mm" was meant unless the option
--skipdatabase was provided.
I'm not a fan of this mode. I think I would prefer that there is no
default, and skipping it just gives you the help text, in the same way that
you can't call "gcc" with no arguments.
Also,
