declareGUIoptions: Declare Option Names that Correspond with Widget Names
Description
This function allows a GUI creator to specify widget names that
correspond to names in PBS options. These widgets can then be
used to load and set PBS options using getGUIoptions and
setGUIoptions.
Usage
declareGUIoptions(newOptions)
Arguments
newOptions
a character vector of option names
Details
declareGUIoptions is typically called in a GUI initialization function.
The option names are remembered and used for the functions
getGUIoptions, setGUIoptions, and promptSave.