Lexmark C762 - Manual (Page 207)

PostScript
4-30
manualfeedtimeout
/manualfeedtimeout integer def
is an integer key in statusdict that works with the ManualFeedTimeout page
device parameter to determine the manualfeed timeout for a given page.
If during a print job, manualfeedtimeout is defined as an integer value in
statusdict , that value is used instead of the ManualFeedTimeout page device
parameter.
The value of the ManualFeedTimeout page device parameter and
manualfeedtimeout key in statusdict are independent of each other; the value
of one does not affect the value of the other.
0 disabled
1...65355 seconds
An undefined error results if manualfeedtimeout is queried before the value is
set.
Errors: stackoverflow, undefined
newsheet
— newsheet —
causes the current page to start on the front side of a new sheet.
Error: none
pagecount
— pagecount integer
queries the value of the PageCount system parameter. An integer is returned on
the stack indicating the current page count.
This operator is equivalent to executing the following PostScript emulation
sequence:
currentsystemparams /PageCount get
Error: stackoverflow