You can also add a Guard to the caption which sets the label. An example
is given in the example module below.
If you want to display a value to the user which he should not manipulate,
you can also use a field and set the read only guard. Note, that fields which
are bound to read-only variables are automatically read-only.
- Dominik
MODULE Test;
IMPORT Dialog, Strings;
VAR n: INTEGER;
PROCEDURE Guard*(VAR p: Dialog.Par);
BEGIN (* the label changes whenever the guard is called *)
INC(n); Strings.IntToString(n, p.string);
END Guard;
END Test.