improvement: in gui settings, add tooltip and set sensitive state of window_hide_after_close_last_tab according to terminal_auto_restart_shell state