That did it! I had never even heard of xrdb before. Thanks, Steve John E. Davis wrote:
On Tue, 09 Sep 2003 10:21:55 -0700, you said:That didn't work either. :-(Is your .Xdefaults file being read? Perhaps your need to use .Xresources. Also keep in mind that simply changing the value in these files has no immediate effect. You need to do, e.g., xrdb -merge $HOME/.Xdefaults