<> <> <> <> <<>> DIRECTORY GGEditTool, GGInterfaceTypes, GGUserProfile; GGEditToolImpl: CEDAR PROGRAM IMPORTS GGUserProfile EXPORTS GGEditTool = BEGIN <> MasterData: TYPE = REF MasterDataObj; MasterDataObj: TYPE = RECORD [ defaultGravityExtent: REAL _ 25.0, -- in screen dots defaultHeuristics: BOOL, objectsBeingCopied: LIST OF REF ANY -- for copying objects from viewer to viewer ]; SetDefaultHeuristics: PUBLIC PROC [on: BOOL] = { <> masterData.defaultHeuristics _ on; }; GetDefaultHeuristics: PUBLIC PROC RETURNS [on: BOOL] = { <> on _ masterData.defaultHeuristics; }; <<>> <<>> SetDefaultGravityExtent: PUBLIC PROC [inches: REAL] = { <> masterData.defaultGravityExtent _ inches*72.0; }; GetDefaultGravityExtent: PUBLIC PROC RETURNS [screenDots: REAL] = { <> screenDots _ masterData.defaultGravityExtent; }; masterData: MasterData; Init: PROC [] = { masterData _ NEW[MasterDataObj]; GGUserProfile.LookAtProfile[firstTime]; }; Init[]; END.