To specify the font size used to display menu entries:
Set Gms-font-size to be small, large, or extra-large.
To specify the height of separators between menu entries:
Set Gms-separator-height to be either default or an integer not less than 6.
default tells GMS to make separators the same height as a menu entry. That height depends on the setting of Gms-font-size. Specifying a positive integer tells GMS to give separators the indicated height in workspace units.
gms-separator-height to be any value other than the default, and a separator exists on a panel that is a candidate for scrolling, the panel will not scroll.
To set GMS to display Help information:
Gms-show-help-message to be true.
Gms-priority to be a higher number than that of any of the other preference objects.
To set GMS to not display Help information:
Set Gms-show-help-message to be false (the default).
To specify the font size used to display Help information:
Set Gms-help-message-fontsize to be small, large, or extra-large.
Specifying Menu Navigation Modes
GMS provides two menu navigation modes, called walking menus and sticky menus, as described under Choosing a Menu Entry. Walking menus are always available. Sticky menus are optional.
To specify that sticky menus are available:
Set Gms-sticky-menus to be true (the default).
To specify that sticky menus are not available:
Set Gms-sticky-menus to be false.
To specify that GMS does not blink a chosen menu entry:
Set Gms-blinks-on-activation to be 0 (the default).
To specify that GMS blinks a chosen menu entry:
Set Gms-blinks-on-activation to be a positive integer indicating the number of blinks.
To specify that GMS does not display a menu bar on startup:
Set Gms-initial-menu-bar to be false or none (the default).
To specify that GMS displays a designated menu bar on startup:
Set Gms-initial-menu-bar to be the key of the root object of the relevant menu specification.
false or none.
To specify that GMS displays a randomly selected menu bar on startup:
Set Gms-initial-menu-bar to be true.
To specify that GMS should raise the menu bar to the top regularly:
Set Gms-menu-bar-raise-interval to be any non-negative integer.
0 for this attribute, GMS does not perform this function.
Gms-language, control GMS internationalization. For information on internationalizing GMS menus, see Chapter 12, Internationalizing GMS Menus.