Save code on exit and mark readOnly on destroy. Fixes #1146#1147

brollb merged 1 commit intomasterdeepforge-dev/deepforge:masterfrom

1146-code-save-after-leavedeepforge-dev/deepforge:1146-code-save-after-leaveCopy head branch name to clipboard