Re: gnome-terminal delete/backspace mess
- From: Miguel de Icaza <miguel ximian com>
- To: Sander Vesik <Sander Vesik Sun COM>
- Cc: Havoc Pennington <hp redhat com>, jacob berkman <jacob ximian com>, gnome-hackers gnome org, jirka 5z com
- Subject: Re: gnome-terminal delete/backspace mess
- Date: 19 Jul 2001 17:48:44 -0400
> --enable-swap-del-bs - yes, I agree. But 'del is del' as a user preference
> serves only to confuse people. If you don't want it as a configure time
> option, just kill it.
Yes, that one is indeed confusing. I will let Michael Zucchi comment
on the issue, because I do not remember why it is there (someone
should add him to the CC list)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]