Re: gnome-terminal delete/backspace mess
- From: Chema Celorio <chema ximian com>
- To: Havoc Pennington <hp redhat com>
- Cc: Miguel de Icaza <miguel ximian com>, jacob berkman <jacob ximian com>, gnome-hackers gnome org, jirka 5z com
- Subject: Re: gnome-terminal delete/backspace mess
- Date: 19 Jul 2001 18:13:05 -0500
On 19 Jul 2001 17:49:08 -0400, Havoc Pennington wrote:
> functionality. That is the main issue, that we are putting the needs
> of 5% ahead of the needs of 95%.
I am all for removing extaconfigruable options as you already know. But
i think that in this case this different for a number of reasons.
- gnome terminal is not an end user application
- the benefit if the 95% is small compared to the harm of the 5%.
- who is going to go into the preference dialog of gnome-terminal if it
"just works", i mean, the only thing the user may want to change is the
colors AFAIK. other than the colors, he does not have a need to change
anything.
regards,
Chema
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]