The Device Tool > Device Tool GUI reference > Device options settings

Device options settings
 
The logical name of the option as specified by the Options keyword in the driver file. The name is case sensitive.
The option type (Char, Float, Integer or Fixed).
OpenText StreamServe 5.6 Updated: 2013-03-01