On May 30, Lars Wirzenius <liw@iki.fi> wrote: >I'm quite happy to believe that, but would you like to list some of the >capabilities it has that gnome-terminal doesn't so at to let the rest of >us understand as well? It allows to hide the tabs. This is a requirement for me, as I cannot afford to waste the vertical space. -- ciao, | Marco | [1260 deXAZ0a1CpmWk]