|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
OptionManager.
OptionManager.
true iff the user can enter arbitrary values for
this option rather than only what is returned by Option.getChoices().
Option for the specified key.
Option for the specified key or the provided
default value.
Class indicating the type of the option.
String representation of the option.
Iterator over the available key names.
OptionManagers.Options.
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||