Los atajos de teclado de Gnome 3 a veces dejan de funcionar hasta que se reinicia

Los atajos de teclado de Gnome 3 a veces dejan de funcionar hasta que se reinicia

Esto en Debian Stretch. Es muy molesto, ya que tengo múltiples accesos directos, como ir al directorio de inicio, tomar capturas de pantalla, etc., que dejan de funcionar por completo hasta que reinicio la computadora. Tengo trabajo abierto, muchas aplicaciones, pestañas etc., no puedo simplemente reiniciar la computadora. ¿Existe algún proceso o demonio que pueda matarse y reiniciarse?

información relacionada