Lexmark 33S0300 - Mono Chrome Laser Printer Reference page 226

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,
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.
disabled
0
seconds
1...65355
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
4-31
is defined as an integer value in
manualfeedtimeout
PostScript