Help menu. In the older non-Tycho Tk windows, a number of user interface options are specified through Tk options rather than directly through X resources. These are defined in the file $PTOLEMY/lib/tcl/ptkOptions.tcl. One way to override these is to start pigi with a console window:
pigi -consoleand in the console window, change the options. For example, the command
option add Pigi*background gray98changes the dialog box backgrounds to a very light gray. This option was used to create the X window dumps used in this manual.