I'm using woody + helixcode GNOME. Does the gnome-terminal currently
have no way to read and use X resource files? In gnome-terminal,
things like the key sequence produced by the F1 key is different from
the one in the regular xterm. gnome-terminal is not reading
/etc/X11/Xresources/xterm, apparently. I looked, but the docs
available didn't help me with this. So is this on the things-to-do
list, or is there a way to configure it that I don't know about.
"It is dangerous to be right when the government is wrong." - Voltaire