¿Cómo reducir la gordura de la barra de título de Ubuntu GNOME?

12

Anteriormente, las barras de título para Windows eran mucho más delgadas que ahora en Ubuntu GNOME 16.04.1 con GNOME 3.20. ¿Por qué es esto y cómo puedo cambiar esto? Me gustó el aspecto delgado que obtuve con el numix-gtk-theme, pero por alguna razón ya no tengo ese aspecto delgado. No con ningún tema.

Así de gordo es:

Barra de título de gordura


fuente

Respuestas:

11

Estás viendo esta barra de título más gruesa porque estás usando Gnome-Shell. En Gnome-Shell, las barras de título del tema Numix son mucho más gordas que las versiones para Unity.

Mira estas dos imágenes

  1. Unidad

    numix en la unidad

  2. Shell de gnomo

    numix en gnome-shell

Para reducir la gordura de la barra de título

Para reducir esta gordura, sigue estos pasos

  1. Crea un archivo ~/.config/gtk-3.0/gtk.csscon estos contenidos
.header-bar.default-decoration {
    padding-top: 4px;
    padding-bottom: 4px;
    }

.header-bar.default-decoration .button.titlebutton {
    padding-top: 4px;
    padding-bottom: 4px;
}

/* No line below the title bar */
.ssd .titlebar {
    border-width: 2px;
    box-shadow: none;
}
  1. Cierre sesión y vuelva a iniciar sesión.

    Una captura de pantalla de la sesión de gnome-shell después del cambio

    cuadro de diálogo zenity después de cambiar

Sin embargo, se informa que este ajuste no funciona para GNOME 3.20 a veces. Para abordar eso, es posible que necesite la solución de esta pregunta

Fuente: /unix/257163/reduce-title-bar-height-in-gnome-3-gtk-3

Anwar
fuente
Ah, ¿y no hay forma de cambiar esto?
La fuente de modificación de @ParanoidPanda es la forma en que creo
Anwar
Entonces, ¿no hay GNOME Shell Extension para hacer esto o algo?
No funcionó para mí unix.stackexchange.com/a/291040/249545 hizo el truco.
Guenhter