A GUI may have PBS options that it uses, which have corresponding widgets that
are used for entering values for these options. These are declared by
declareGUIoptions
. If the option
argument is the name of an option,
setGUIoptions
transfers the value of this option from a
same-named widget into PBS options global R environment database.
If the option
argument is "*"
, then all the
options that have been declared by declareGUIoptions
will be transferred in this fashion.
To use this function in a window description file, the
option
argument must be specified as the action of the
widget that calls setGUIoptions
-- action=editor
or action=*
for example.