4-44

PostScript

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.

0disabled

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

Page 249
Image 249
Lexmark Printer manual Manualfeedtimeout, Newsheet, Pagecount, Errors stackoverflow, undefined