¿Cómo puedo hacer que la barra de actividades de GNOME Shell sea pequeña todo el time?

Cuando no tengo aplicaciones en ejecución, o estoy en la pantalla de actividades en el shell GNOME, la barra de actividades tiene quizás 20px de alto. Cuando estoy ejecutando una aplicación, esta se expande a 70px, posiblemente para ajustarse al icono de la aplicación 64×64 que utiliza para la aplicación. ¿Puedo hacer esta barra más pequeña todo el time?

Tienes que editar el CSS del tema del shell gnome. El file CSS pnetworkingeterminado del shell gnome se guarda en /usr/share/gnome-shell/theme/ – asegúrese de que para editar el file tenga privilegios "raíz" , luego edite "gnome-shell.css" .

El estilo del panel (o la barra de actividades) está en #panel (solo haz una búsqueda): la expansión del panel probablemente se deba a los efectos del tamaño y la altura de la fuente.

No sé si alguna vez encontró una respuesta a esto, pero sí, puede. Sin embargo, tendrá que sumergirse en el CSS del tema que está utilizando (y en qué medida dependerá de su versión de Gnome Shell y de si está utilizando un tema integrado o personalizado).

Una vez que encuentre el file CSS, ábralo en algo como Gedit y encuentre las references a la barra de Actividades y cambie la configuration que desee (para su pregunta en particular, querrá la configuration de height ). Probablemente habrá cerca de dos o tres lugares que necesitará encontrar (el "regular" cuando no se está ejecutando nada, uno cuando la window de actividades está abierta, y uno cuando la aplicación está abierta). Una vez que haya realizado los cambios, guarde el file y reinicie Gnome Shell (alt + F2, r, intro).

Alternativamente, puede instalar un nuevo tema de Gnome-Shell. Si aún no lo has hecho, instala Gnome-Tweak-Tool. Luego, puede download su tema favorito e instalarlo desde Gnome-Tweak-Tool.