- fix: the hiding state of the tools output panel is not correctly saved
the app is restored to normal state, no matter it's current state. - enhancement: input shortcut in the option dialog's general -> shortcut page by pressing keys.