next up previous contents
Next: GUI colors. Up: Customizing the GUI. Previous: Customizing the GUI.

Print-button.

The Misc/Print-button on the Menu Bar can be customized by editing the file GuiConsts.h in directory auto/97/include.


Gabriel Lord
Tue Jan 25 09:54:03 GMT 2000