-- GriffinInputDefs -- Tiberi December 11, 1979 4:23 PM -- Last Edited by: Stone, June 18, 1984 11:09:39 am PDT DIRECTORY Rope USING [ROPE], PointDefs USING [ScrPt]; GriffinInputDefs: DEFINITIONS = BEGIN InputEvent: TYPE = RECORD [ type: {red, yellow, blue, abort, up, keyStroke, newPosition}, key: CHARACTER, pt: PointDefs.ScrPt, shifted: BOOLEAN ]; InputEventProc: TYPE = PROCEDURE [event: InputEvent]; StartInputHandler: PROCEDURE[wd: Rope.ROPE] RETURNS [proc: InputEventProc]; END.