… so it looks like the problem was using a maximized window (by clicking on the maximize button in the window border). The symptom goes away if I maximize using alt+enter.
… so it looks like the problem was using a maximized window (by clicking on the maximize button in the window border). The symptom goes away if I maximize using alt+enter.