Note to any others that are affected by this bug but do not have the foresight of Paul: you can still bring up a terminal by pressing Alt-Ctrl-T.
Note to any others that are affected by this bug but do not have the foresight of Paul: you can still bring up a terminal by pressing Alt-Ctrl-T.