Irritante, bug antigo, também mencionado elwherewhere . Mudar seu tema atual (veja aqui ) seria a opção mais perfeita. O mais fácil, sem alterações, é provavelmente:
- estar perto da borda da janela (em um generoso sentido de 30 a 40 pixels)
- Alt + Botão direito do mouse