Re: gnome-terminal delete/backspace mess
- From: Martin Baulig <martin home-of-linux org>
- To: Kenny Graunke <kenny whitecape org>
- Cc: gnome-hackers gnome org
- Subject: Re: gnome-terminal delete/backspace mess
- Date: 20 Jul 2001 16:03:12 +0200
Kenny Graunke <kenny whitecape org> writes:
> Confusing, huh? Realistically, these are global settings. Changing a setting
> should change *all* of the terminals' settings. Otherwise it's very
> confusing - there is no indication of which terminal the preferences dialog
> is going to affect, and trying to explain all the interrelationships is too
> complicated. If it's hard to explain, it probably needs fixing. ;-)
>
> Perhaps people would like a way to change one terminal's settings - this could
> help with the delete options as well. Those aren't global settings; these are.
> Of course, you can use command line options for terminal-specific
> "configuration."
Well, I guess this problem will vanish with GNOME 2.0; with the old config
system in GNOME 1.x (gnome-config) it was impossible for an application to
get notifications when a property has changed.
This is different in GNOME 2.0 with bonobo-config - if you change a global
setting in any of your terminals, it'll immediately affect all your terminals
in that terminal class.
--
Martin Baulig
martin gnome org (private)
baulig suse de (work)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]