¿Cómo cambiar el ancho del panel de indicadores en gnome 3? Si hay muchos, empiezan a vender:/
Hay un espacio vacío en el lado izquierdo del panel superior. ¿Cómo hacer que lo utilicen?
No pude encontrarlo en /usr/share/gnome-shell/theme/gnome-shell.css.
Además, ¿cómo ocultar el panel principal de la aplicación ("Archivo", "Editar", "Buscar", etc.)? Idealmente, detrás del borde superior de la pantalla, pero es posible que haya otras formas.
Respuesta1
gnome-shell-extension-prefsy una extensión externa llamada algo así gnome bar horizontal spacingme ayudó a resolver eso.