![]() |
API Documentation
|
Go to the source code of this file.
Classes | |
| class | WidgetOptions |
| Stores the options, added to the user settings, that control Widgets and low level UI options in the application. All options retained across application restart. More... | |
Namespaces | |
| namespace | NDEVR |