-- TiogaProfile.mesa; Edited by Paxton on October 23, 1982 1:18 pm
DIRECTORY
Rope USING [ROPE];
TiogaProfile: CEDAR DEFINITIONS = BEGIN
CategoryOfUser: TYPE = { beginner, intermediate, advanced, expert };
userCategory: CategoryOfUser;
sourceExtensions, implExtensions:
LIST
OF Rope.
ROPE;
-- the extensions all start with "."
These are lists of default file extensions for Load, Open, etc.
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 ;
Number of lines to show above target for Find, etc. when scroll to new position
scrollBottomOffset: INTEGER ;
ySelectFudge:
INTEGER ;
Raise y coordinate for text selections by this amount. For people who like to point below the target.
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.