<> <> DIRECTORY PrincOps USING [PageNumber, PageCount], ColorDisplayFace USING [Mode]; ColorDisplayFaceExtras: DEFINITIONS = BEGIN DisplayType: TYPE = {none, ramtek714, hitachi2713, conrac7211Hi, conrac7211Lo}; <<>> <> SetMonitorType: PUBLIC PROC [ newMonitorType: DisplayType, newWidth, newHeight: NAT ]; <> SetDisplaySize: PUBLIC PROC [ newWidth, newHeight: NAT ]; <> Connect: PUBLIC PROC [ mode: ColorDisplayFace.Mode, firstPage: PrincOps.PageNumber, nPages: PrincOps.PageCount ]; END.