DIRECTORY GGEditTool, GGUserProfile, IO, UserProfile; GGUserProfileImpl: CEDAR PROGRAM IMPORTS GGEditTool, IO, UserProfile EXPORTS GGUserProfile = BEGIN LookAtProfile: PUBLIC UserProfile.ProfileChangedProc = { gravExtent: REAL; -- in inches heuristics: BOOL _ UserProfile.Boolean[key: "Gargoyle.Heuristics", default: FALSE]; gravExtent _ IO.GetReal[IO.RIS[UserProfile.Token[key: "Gargoyle.GravityExtent", default: "-1.0"]] ! IO.Error => IF ec = SyntaxError THEN { gravExtent _ -1.0; CONTINUE; } ELSE REJECT]; -- gravExtent in inches IF gravExtent=-1.0 THEN gravExtent _ 25.0/72.0; GGEditTool.SetDefaultHeuristics[on: heuristics]; GGEditTool.SetDefaultGravityExtent[inches: gravExtent]; }; Init: PROC [] = { UserProfile.CallWhenProfileChanges[LookAtProfile]; }; Init[]; END. $GGUserProfileImpl.mesa Copyright c 1986 by Xerox Corporation. All rights reserved. Last edited by Bier on October 14, 1986 8:02:15 pm PDT Contents: Routines for reading the Gargoyle entries in the user profile and setting Gargoyle options. [reason: UserProfile.ProfileChangeReason] ΚΈ˜J˜Icodešœ™Kšœ Οmœ1™