Removed the workaround for problems that some X11 WMs had with the drop-down mode because (1) it prevented exiting on closing and (2) didn't let the terminal be focused on showing.
Removed the workaround for problems that some X11 WMs had with the drop-down mode because (1) it prevented exiting on closing and (2) didn't let the terminal be focused on showing.