PeanutProfileImpl.mesa
Doug Wyatt, February 6, 1984 4:08:43 pm PST
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.