Cuando comienzo gnome-terminal
parece bastante agradable, pero cuando abro otra pestaña, sus bordes se vuelven feos:
¿Cómo puedo conservar el bisel delgado mientras utilizo varias pestañas?
gnome-terminal
gui
Dmitriy Budnik
fuente
fuente
find / -name gnome-terminal.css
para encontrar la versión más actualizada. Tuve que editar/usr/share/themes/Ambiance/gtk-3.20/apps/gnome-terminal.css
, nogtk-3.0
.Bueno, es una buena práctica en general no modificar los archivos originales, sino anular sus valores de acuerdo con sus preferencias.
Si aún no lo tiene, cree o abra un archivo gtk.css en esta ruta
Pegue el siguiente código, cierre todos los terminales y comience uno nuevo.
Ahora, no solo eliminará los bordes como pretendía, sino que también "encajará" mejor con el fondo oscuro, mis ojos "dolerán" con el gris claro. El resultado cuando tiene varias pestañas debería tener este aspecto, que por supuesto puede personalizarlo alterando las variables de color según sus preferencias.
fuente
Mina basada en respuestas @topless y @jibreel.
Fondo transparente y un tema oscuro. Increíble.
fuente
Gracias @topless, también lo edité para que se vea así, tenga en cuenta el radio del borde: 0, para evitar espacios en blanco
fuente
Puede probar con otro tema, configurar Ambiance a su gusto u obtener uno de estos (del centro de software de Ubuntu):
fuente