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. @-- TEditProfile.mesa; Edited by Paxton on October 23, 1982 1:18 pm These are lists of default file extensions for Load, Open, etc. 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. Ê’˜JšÏc*œ™BJ˜šÏk ˜ Jšœžœžœ˜J˜—Jšœžœž˜'J˜Jšœžœ0˜DJ˜J˜šœ"žœžœžœ$˜YJ™?—J˜JšÏn œžœ˜J˜Jšœžœ˜3J˜'J˜Jšœžœ˜J˜Jšœžœ˜ J˜Jšœžœ˜J˜JšœžœF˜^J˜šœžœ˜J™O—Jšœžœ˜J˜šœžœ˜Jšœ9,œ™f—J˜Jšœžœ˜#J˜Jšœžœ˜2J˜J˜š Ÿœžœ žœ žœžœžœ˜HJšžœžœ žœ˜,J˜—JšŸœžœ žœžœžœžœžœ˜TJ˜Jšžœ˜J˜—…—Т