Editor/Debugger enhacements: save on close, debugger run, Editor save setting ...
Authored by: arcachofo 2018-06-19
Parent: [r370]
Child: [r372]