<> <> <> <> DIRECTORY ChoiceButtons, Rope, ViewerClasses, ViewerSpecs; PressScreen: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; Side: TYPE = {leftSide, bothSides, rightSide}; PressScreen: PROCEDURE [pressFileName: ROPE, which: Side]; <> MagnificationType: TYPE = {fullPage, halfPage, useMagnification}; AISPressScreen: PROCEDURE [ pressFileName: ROPE, sourceHeight: NAT _ ViewerSpecs.screenH, sourceWidth: NAT _ ViewerSpecs.screenW, sourceBottom: NAT _ 0, sourceLeft: NAT _ 0, magnification: REAL _ 0.5, scaleToFit: MagnificationType _ useMagnification, leftMarginInches, rightMarginInches: REAL _ 0.75, landscape: BOOLEAN _ FALSE, borderWidth: REAL _ 2.0, lockViewers: BOOLEAN _ TRUE, displayCursor: BOOLEAN _ FALSE, displayCarets: BOOLEAN _ FALSE] RETURNS[fileName: ROPE]; <> <> <> MagnificationFactorTooLarge: SIGNAL; <> AISPageAlignmentHackFailed: SIGNAL; <> NewPressName: PROCEDURE RETURNS [pressFileName: ROPE]; <> <<>> NewAISPressName: PROCEDURE RETURNS [pressFileName: ROPE]; <> PressScreenTool: TYPE = REF PressScreenToolRec; PressScreenToolRec: TYPE; NewPressScreenTool: PROCEDURE [serverName: ROPE] RETURNS[psTool: PressScreenTool]; <> END.