Page device keys
This page applies to Harlequin v13.1r0 and later; both Harlequin Core and Harlequin MultiRIP
The symbols in this section have the same meaning as in the previous section. The keys are all page device keys, as set with setpagedevice
and examined with currentpagedevice
. See [RB2] for details of these operators.