Tanto el terminal gnome como el terminador (que estoy usando en mi computadora portátil actualmente) se pueden personalizar para que se vean muy bonitos. Al usar la pantalla completa y mantener el desorden de escritorio al mínimo, es posible obtener un área de buen tamaño para trabajar, incluso en mi pequeño EeePC.
Sin embargo, hay un elemento que no puedo controlar. Lengüetas de Gnome son masivamente sobredimensionada y feo en el mejor. No encajan en absoluto en el tema que parece tonto, pero para mí el mayor problema es el espacio en la pantalla que se desperdicia. En una pantalla de computadora portátil pequeña en particular, es un problema real.
¿Hay alguna manera de cambiar estas pestañas? Me doy cuenta de que es posible colocarlos al costado de la ventana, ¡pero luego ocupan aún más espacio!
Si esto no es posible con el tema o la configuración de gnome, ¿hay algún programa de terminal como terminator que pueda manejar las pestañas? (¡Idealmente de una manera más elegante!)