On May 30, Sebastian Rittau <srittau@jroger.in-berlin.de> wrote: >Is there anything that multi-gnome-terminal can do that the current >(GNOME 2) gnome-terminal cannot? Is there any point in keeping this Yes, gnome-terminal forces me to have a useless (I always use the keyboard to switch tab) tabs bar. -- ciao, | Marco | [1268 afAFh941iKfpo]