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.