<> <> <<>> DIRECTORY PeanutProfile USING [], Rope USING [ROPE], UserProfile USING [Boolean, CallWhenProfileChanges, Number, ProfileChangedProc, Token]; PeanutProfileImpl: CEDAR PROGRAM IMPORTS UserProfile EXPORTS PeanutProfile = BEGIN ROPE: TYPE = Rope.ROPE; automaticNewMail: PUBLIC BOOL _ FALSE; -- Peanut.AutomaticNewMail ccToSelf: PUBLIC BOOL _ FALSE; -- Peanut.CarbonCopyToSelf killViewersOnSaveAll: PUBLIC BOOL _ FALSE; -- Peanut.KillViewersOnSaveAll startIconic: PUBLIC BOOL _ FALSE; -- Peanut.StartIconic windowHeight: PUBLIC INT _ 0; -- Peanut.WindowHeight activeMailFile: PUBLIC ROPE _ NIL; -- Peanut.ActiveMailFile outgoingMailFile: PUBLIC ROPE _ NIL; -- Peanut.OutgoingMailFile workingDirectory: PUBLIC ROPE _ NIL; -- Peanut.WorkingDirectory ChangePeanutProfile: UserProfile.ProfileChangedProc = { automaticNewMail _ UserProfile.Boolean["Peanut.AutomaticNewMail", FALSE]; ccToSelf _ UserProfile.Boolean["Peanut.CarbonCopyToSelf", TRUE]; killViewersOnSaveAll _ UserProfile.Boolean["Peanut.KillViewersOnSaveAll", FALSE]; startIconic _ UserProfile.Boolean["Peanut.StartIconic", TRUE]; windowHeight _ UserProfile.Number["Peanut.WindowHeight", 80]; activeMailFile _ UserProfile.Token["Peanut.ActiveMailFile", "Active"]; outgoingMailFile _ UserProfile.Token["Peanut.OutgoingMailFile", ""]; workingDirectory _ UserProfile.Token["Peanut.WorkingDirectory", NIL]; }; UserProfile.CallWhenProfileChanges[ChangePeanutProfile]; END.