DIRECTORY Rope USING [ROPE]; TEditProfile: CEDAR DEFINITIONS = BEGIN ROPE: TYPE ~ Rope.ROPE; CategoryOfUser: TYPE = { beginner, intermediate, advanced, expert }; userCategory: CategoryOfUser; sourceExtensions, implExtensions: LIST OF ROPE; ReadProfile: PROC; DefaultMenuChoice: TYPE = { none, places, levels }; menu1, menu2, menu3: DefaultMenuChoice; openFirstLevelOnly: BOOL; showUnsavedDocumentsList: BOOL; wordPunctuation: BOOL; editTypeScripts: BOOL; scrollTopOffset: INTEGER; scrollBottomOffset: INTEGER; ySelectFudge: INTEGER; unsavedDocumentCacheSize: INTEGER; SelectionCaret: TYPE = { before, after, balance }; selectionCaret: SelectionCaret; tryVersionMap: BOOL; GetToken: PROC [rope: ROPE, offset: INT _ 0, thruEnd: BOOL _ FALSE] RETURNS [token: ROPE, newOffset: INT]; DoList: PROC [key: ROPE, proc: PROC [ROPE], defaultKey: ROPE _ NIL]; END.  TEditProfile.mesa Copyright c 1985 by Xerox Corporation. All rights reserved. Edited by Paxton on October 23, 1982 1:18 pm Doug Wyatt, March 3, 1985 12:42:30 pm PST These are lists of default file extensions for Load, Open, etc. The extensions all start with "." if true and selection not at end of ts, edit like normal Tioga doc. Number of lines to show above target for Find, etc. when scroll to new position Raise y coordinate for text selections by this amount. For people who like to point below the target. Κή˜codešœ™Kšœ Οmœ1™