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

Print-button.

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


Gabriel Lord 2007-11-19