Linux - Solución a: Guake no se despliega en gnome shell [a veces]

Buenas, este problema me ha surgido después de instalar Debian Wheezy con gnome-shell. Resulta que de primeras si se abre guake, pero de vez en cuando no, hasta que hago click en otra ventana y vuelve a funcionar.

Debe ser un problema de determinación de la ventana que tiene el foco en cada momento. Al cerrar guake con la hot-key (F12) no se especifica qué ventana tiene el foco, por lo que guake no se abre.

Indagando, lo he solucionado de la forma siguiente:

1. Abrimos gnome-tweak-tool (Configuración avanzada puede que se llame en el menú)
2. Vamos a la pestaña Ventanas
3. Seleccionamos Window focus mode como mouse

Ahora la posición del ratón indicará qué ventana tiene el foco en todo momento, por lo que guake funcionará como debería.

Un saludo