Re: gnome-terminal delete/backspace mess



On 20 Jul 2001 10:35:15 +0800, Malcolm Tredinnick wrote:
> On Thu, Jul 19, 2001 at 07:03:52PM -0500, Chema Celorio wrote:
> > On 19 Jul 2001 19:01:41 -0400, Havoc Pennington wrote:
> > > 
> > > "Ray Strode" <halfline hawaii rr com> writes:
> > > > A lot of terminal applications use whole keyboard maps. 
> > > > Maybe gnome-terminal should do that and then have 
> > > > a separate (temporary) menu option. e.g. 
> > > > 
> > > > Terminal > Linux / Solaris / HP-UX / IRIX
> > 
> > great solution !
> 
> OK, by a vote of 3 (Chema, hp, me) to nothing with lots of abstentions,
> this is declared passed. :-)

Malcom, we can vote all we want, but there are maintainers that take the
desition. As maintianers they decide what goes in and what doesn't. So
the only way i see is trying to convince them that this is better (and a
patch is a good start).

Basic free software rules ;-).

Chema




_______________________________________________
gnome-hackers mailing list
gnome-hackers gnome org
http://mail.gnome.org/mailman/listinfo/gnome-hackers




[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]