Top Up Prev Next Bottom Contents Index Search

2.14 Tk options

In Tycho, many of the user interface features are controlled through the preferences manager, which is available under the Tycho 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 -console
and in the console window, change the options. For example, the command

option add Pigi*background gray98
changes the dialog box backgrounds to a very light gray. This option was used to create the X window dumps used in this manual.

Top Up Prev Next Bottom Contents Index Search

Copyright © 1990-1997, University of California. All rights reserved.