The GTKMM GUI can now be shut down by the "quit" command.
Authored by: gavare 2019-06-06
Parent: [r108]
Child: [r110]