Add Save choices menu option
Last of the ROM apps, no longer put Edit$Options into the desktop settings file (though internally it is still used because txt in RISC_OSLib runs that way).
Last of the ROM apps, no longer put Edit$Options into the desktop settings file (though internally it is still used because txt in RISC_OSLib runs that way).