-- this file contains the standard, default setting for some of the more commonly used userprofile features.
-- for documentation of all available user profile options, see UserProfileDoc.tioga
-- Last Edited by: Teitelman, May 2, 1983 4:45 pm
-- Last Edited by: Paul Rovner, April 22, 1983 1:53 pm

UserCategory: Intermediate

AutoCheckpoint: FALSE
ClientCheckpoint: TRUE
EditTypeScripts: TRUE  -- turns on editable typescripts. see explanation in UserProfileDoc.tioga
WorldSwapDebug: FALSE

DefaultFontFamily: Tioga
DefaultFontSize: 10
DefaultStyle: Cedar

PreLoad: TiogaDoc.tioga
PreRun: FileTool.bcd, EditTool.bcd, BugBane.bcd, UserExecutive.bcd, DebugTool.bcd, Clock.bcd, Watch.bcd, Talker.bcd 
-- Note: you can also accomplish the same thing by including BugBane.bcd and UserExecutive.bcd in your PreRun command, and using 
CommandsFrom to run the remaining bcds you normally load during startup., i.e.
--PreRun: BugBane.bcd UserExecutive.bcd
--CommandsFrom: "Run FileTool EditTool DebugTool Clock Watch NewStuffImpl Talker"     

ScrollTopOffset: 3
ScrollBottomOffset: 5
SelectDelimitingSpaces: FALSE

Hardcopy.PressPrinter: Clover
Hardcopy.Font: Gacha6

-- Note: it is not necessary to include any registered commands that already appear in RegisteredCommands.Catalogue. Use 
RegisteredCommands only for commands that you personally implement.

ShowStatistics: FALSE
Compiler.SeparateLogs: TRUE
CreateSessionLog: TRUE
WhenLogFileExists: Rename