Getting Started | Documentation | Glish | Learn More | Programming | Contact Us |
Version 1.9 Build 1556 |
|
Package | utility | |
Module | aipsrcdata |
toolmanager.default: gui
toolmanager.default | Output medium to use | ||
Allowed: | gui or cli | ||
Default: | gui | ||
toolmanager.refresh | Default refresh interval (s) | ||
Allowed: | Integer | ||
Default: | none |