See https://github.com/gui-cs/clet/pull/130 port from that pr: - the config save code - the new View and Opions menus - the Settings dialog - the updates to the status bar.
See gui-cs/clet#130
port from that pr: