-- texdispdefs.mesa -- last written by Doug Wyatt, February 5, 1980 11:04 PM DIRECTORY TexDefs: FROM "TexDefs", XGraphicsDefs: FROM "XGraphicsDefs", TexNodeDefs: FROM "TexNodeDefs"; TexDispDefs: DEFINITIONS = BEGIN DisplayFont: TYPE = RECORD [ mode: XGraphicsDefs.textMode, -- {normal, bold, italic} strike: POINTER TO XGraphicsDefs.StrikeFont ]; DisplayFonts: TYPE = DESCRIPTOR FOR ARRAY TexDefs.Font OF DisplayFont; DisplayPage: PROCEDURE[ p: TexNodeDefs.BoxNodePtr, x, y: TexDefs.Dimn, scaling: INTEGER]; -- p is the vlist for the page -- x,y are page-relative coordinates for top,left of rectangle to display -- scaling is factor by which all dimensions are expanded -- integer treated as fixed point with 10 bit fraction unitScaling: INTEGER=2000B; InitDisp: PROCEDURE; CloseDisp: PROCEDURE; SetUpDisplay: PROCEDURE; TexDispConfusion: SIGNAL; TexDisp: PROGRAM; END.