Next: On-line help.
Up: Customizing the GUI.
Previous: Print-button.
Contents
GUI colors can be customized by creating an X resource file.
Two model files can be found in directory auto/07p/gui, namely,
Xdefaults.1 and Xdefaults.2.
To become effective, edit one of these, if desired,
and copy it to .Xdefaults in your home directory.
Color names can often be found in the system file /usr/lib/X11/rgb.txt.
Gabriel Lord
2007-11-19