GEOS SDK TechDocs
|
|
2.31 [ui]
|
2.33 [ui features]
Each specific UI may have a category with options; this category should be named after the specific UI, e.g. [motif].
fontid = <font>
This field allows the user to specify a font that the specific UI should use when drawing text monikers for gadgets such as menus and buttons.
fontsize = <size in points>
This field allows the user to specify a font size that the specific UI should use when drawing text monikers for gadgets such as menus and buttons.
GEOS SDK TechDocs
|
|
2.31 [ui]
|
2.33 [ui features]