<<>> <> <> <> <> <> DIRECTORY KeyMappingTypes USING [Mapping], Xl USING [Event, Point, TimeStamp, TQ], XTk USING [Widget], UserInput USING [Handle]; XTkTIPSource: CEDAR DEFINITIONS ~ BEGIN TipSourceHandle: TYPE = REF TipSourceHandleRep; TipSourceHandleRep: TYPE; BindTipSource: PROC [widget: XTk.Widget, uioHandle: UserInput.Handle ¬ NIL, inputTQ: Xl.TQ ¬ NIL, yup: BOOL ¬ FALSE, pseudoHeight: INT ¬ -1, scrollPos: Xl.Point ¬ [0, 0], surfaceUnitsPerPixel: NAT ¬ 1, setAbsoluteTime: BOOL ¬ TRUE] RETURNS [handle: TipSourceHandle]; <> <> <> <> <> <> GetTipSourceHandle: PROC [widget: XTk.Widget] RETURNS [handle: TipSourceHandle]; <> ReplaceUIOHandle: PROC [handle: TipSourceHandle, uioHandle: UserInput.Handle, setAbsoluteTime: BOOL ¬ TRUE]; <> AdditionalKeySource: PROC [handle: TipSourceHandle, w: XTk.Widget]; <> <> ChangeSurfaceUnitsPerPixel: PROC [handle: TipSourceHandle, surfaceUnitsPerPixel: NAT ¬ 1]; ChangePseudoHeight: PROC [handle: TipSourceHandle, pseudoHeight: INT ¬ -1]; ChangeScrollPos: PROC [handle: TipSourceHandle, scrollPos: Xl.Point ¬ [0, 0]]; GetServerTime: PROC [handle: TipSourceHandle] RETURNS [timeStamp: Xl.TimeStamp]; <> <> <> <> <<>> CurrentMapping: PROC [handle: TipSourceHandle] RETURNS [mapping: KeyMappingTypes.Mapping]; <> <<>> AllUp: PROC [widget: XTk.Widget, event: Xl.Event ¬ NIL]; <> <<>> END.