TEditProfile.mesa
Copyright © 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
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;
These are lists of default file extensions for Load, Open, etc.
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;
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;
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.