On May 30, Lars Wirzenius <[EMAIL PROTECTED]> 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]
