-- 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.