Preguntas etiquetadas con gnome-shell

Gnome Shell es un administrador de ventanas para el entorno de escritorio Gnome 3.

38
¿Cómo puedo reiniciar el shell GNOME en Wayland?

Al realizar cambios en extensiones o instalar aplicaciones, a veces me parece necesario reiniciar el shell GNOME para que los cambios surtan efecto. En el pasado, presionar Alt + F2, escribir 'r' y presionar enter haría esto. Sin embargo, esto no parece estar disponible en Wayland. Puedo cerrar...

8
¿Cómo ver el área de notificación en GNOME?

Acabo de actualizar mi máquina de Debian Wheezy a Debian Testing. La versión de GNOME es 3.8.4 pero tengo un problema molesto. El área de notificación inferior desapareció y no sé cómo hacer que vuelva a aparecer. Me refiero al área de notificación donde se muestran iconos minimizados de los...

1
GNOME 3.24 ruido de fondo / fondo de pantalla

Si configuro GNOME 3.24 para usar un color sólido para su fondo, todavía tiene algo que solo puedo describir como ruido. Cómo deshacerse de él? Parece ser un tipo de filtro en la parte superior del color sólido. Otras aplicaciones con fondos de color sólido no muestran ese ruido. Estoy usando el...