<> <> <> <> 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.