<> <> DIRECTORY PrincOps USING [PageNumber, PageCount], ColorDisplayFace USING [Mode]; ColorDisplayFaceExtras: DEFINITIONS = BEGIN DisplayType: TYPE = {none, ramtek714, hitachi2713, conrac7211Hi, conrac7211Lo}; <<>> <> PagesForMode: PUBLIC PROC[mode: ColorDisplayFace.Mode] RETURNS[PrincOps.PageCount]; <> SetMonitorType: PUBLIC PROC [ newMonitorType: DisplayType, newWidth, newHeight: NAT ]; <> SetDisplaySize: PUBLIC PROC [ newWidthA, newHeightA: NAT, newWidthB, newHeightB: NAT _ 0]; <> SetAOffsets: PUBLIC PROC [ xOffset, yOffset: NAT ]; SetBOffsets: PUBLIC PROC [ xOffset, yOffset: NAT ]; <> SwitchChannels: PUBLIC PROC []; <> Connect: PUBLIC PROC [ mode: ColorDisplayFace.Mode, firstPage: PrincOps.PageNumber, nPages: PrincOps.PageCount ]; END.