DEFINITION Navigators; (* portable *)

 IMPORT Objects, Gadgets;

 TYPE
  Frame = POINTER TO FrameDesc;
  FrameDesc = RECORD ( Gadgets.FrameDesc ) 
  END;
 PROCEDURE CopyFrame (VAR M: Objects.CopyMsg; from, to: Frame);
 PROCEDURE FrameHandler (F: Objects.Object; VAR M: Objects.ObjMsg);
 PROCEDURE InitNavigator (F: Frame);
 PROCEDURE NewNavigator;

END Navigators.