<<-- TEditProfile.mesa; Edited by Paxton on October 23, 1982 1:18 pm>> DIRECTORY Rope USING [ROPE]; TEditProfile: CEDAR DEFINITIONS = BEGIN CategoryOfUser: TYPE = { beginner, intermediate, advanced, expert }; userCategory: CategoryOfUser; sourceExtensions, implExtensions: LIST OF Rope.ROPE; -- the extensions all start with "." <> ReadProfile: PROC ; DefaultMenuChoice: TYPE = { none, places, levels }; menu1, menu2, menu3: DefaultMenuChoice; openFirstLevelOnly: BOOL ; showUnsavedDocumentsList: BOOL ; wordPunctuation: BOOL ; editTypeScripts: BOOL ; -- if true and selection not at end of ts, edit like normal Tioga doc. scrollTopOffset: INTEGER ; <> scrollBottomOffset: INTEGER ; ySelectFudge: INTEGER ; <> unsavedDocumentCacheSize: INTEGER ; SelectionCaret: TYPE = { before, after, balance }; selectionCaret: SelectionCaret; GetToken: PROC [rope: Rope.ROPE, offset: INT _ 0, thruEnd: BOOL _ FALSE] RETURNS [token: Rope.ROPE, newOffset: INT] ; DoList: PROC [key: Rope.ROPE, proc: PROC [Rope.ROPE], defaultKey: Rope.ROPE _ NIL] ; END.