Optimize selectLine(): use editor's API
Don't save initial code in undo buffer
Always call SourceEditor.destroy()
Mark as "unsaved", if code in "SourceEditor" is changed
Fix "execute code" hotkey (F9)