* Christian Surchi [EMAIL PROTECTED] [030601 13:59]:
On Fri, May 30, 2003 at 09:01:37PM +0300, Baruch Even wrote:
MGT is much more capable than gnome-terminal, I prefer the power of MGT
over gnome-terminal, and if no-one else will step in, I'd be willing to
maintain MGT myself.
I think I
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
On Fri, May 30, 2003 at 09:01:37PM +0300, Baruch Even wrote:
MGT is much more capable than gnome-terminal, I prefer the power of MGT
over gnome-terminal, and if no-one else will step in, I'd be willing to
maintain MGT myself.
I think I can't find enough time... and I'd like to see it
On May 30, Sebastian Rittau [EMAIL PROTECTED] 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.
--
Package: wnpp
Severity: normal
I'm orphaning multi-gnome-terminal package now, because I
don't use it at this point, and I have no enough time to
maintain such package. presumably there might be the
appropriate DD than me to maintain this package.
Description is here:
Multi Gnome Terminal is an
On Sat, May 31, 2003 at 12:00:13AM +0900, Akira TAGOH wrote:
I'm orphaning multi-gnome-terminal package now, because I
don't use it at this point, and I have no enough time to
maintain such package. presumably there might be the
appropriate DD than me to maintain this package.
Is there
==
Date: Fri, 30 May 2003 17:25:15 +0200
From: Sebastian Rittau [EMAIL PROTECTED]
To: debian-devel@lists.debian.org
Subject: Re: Bug#195426: O: multi-gnome-terminal -- Enhanced
the GNOME Terminal
==
Is there anything that multi-gnome
MGT is much more capable than gnome-terminal, I prefer the power of MGT
over gnome-terminal, and if no-one else will step in, I'd be willing to
maintain MGT myself.
I wouldn't think that any GNOME 1 program is obsolete. In this case MGT
provides useful functionality and the fact that it's based
On Fri, 30 May 2003 17:25:15 +0200,
SR == Sebastian Rittau [EMAIL PROTECTED] wrote:
SR On Sat, May 31, 2003 at 12:00:13AM +0900, Akira TAGOH wrote:
I'm orphaning multi-gnome-terminal package now, because I
don't use it at this point, and I have no enough time to
maintain such package.
On pe, 2003-05-30 at 21:01, Baruch Even wrote:
MGT is much more capable than gnome-terminal,
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?
(The list provided in a couple of
* Lars Wirzenius [EMAIL PROTECTED] [030530 22:57]:
On pe, 2003-05-30 at 21:01, Baruch Even wrote:
MGT is much more capable than gnome-terminal,
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
On Sat, May 31, 2003 at 03:34:50AM +0900, Akira TAGOH wrote:
On Fri, 30 May 2003 17:25:15 +0200,
SR == Sebastian Rittau [EMAIL PROTECTED] wrote:
SR Is there anything that multi-gnome-terminal can do that the current
SR (GNOME 2) gnome-terminal cannot? Is there any point in keeping this
SR
12 matches
Mail list logo