next up previous index
Next: Menus Up: Grace Windows Previous: Keyboard Accelerators

Varstack

The variable stack displays each variable that has been successfully labelled. Each variable is displayed on one line in the following format:

Each row is a hyperlink - when the cursor enters the line, it is highlighted and together with it all other Grace display items which correspond to the same variable (currently this can be only in a variable matrix).

The size of the varstack is controlled by several options: box_width  , text_width  , font  , and rows  . When the varstack window becomes almost full or almost empty, Grace scrolls it automatically up or down to display the stack top properly. It can also be scrolled manually by dragging the second or third mouse button inside the window.

When a variable is labelled just by removing some elements from its domain, it might be labelled again several times until it becomes instantiated. In such cases, the corresponding varstack rows show the state of the variable when it was labelled in this step. Older occurrences of this variable will thus display a larger domain (in orange) than the newer ones:





next up previous index
Next: Menus Up: Grace Windows Previous: Keyboard Accelerators



Micha Meier
Tue Jul 2 10:07:34 MET DST 1996