TEditHistory.mesa
Copyright Ó 1985, 1986, 1991 by Xerox Corporation. All rights reserved.
Edited by Paxton on October 28, 1982 12:46 pm
Doug Wyatt, March 3, 1985 2:21:02 pm PST
TEditHistory: CEDAR DEFINITIONS
= BEGIN
Undo:
PROC [eventNum:
INT];
undo starting with current event back to and including specified number
CurrentEventNumber:
PROC
RETURNS [
INT];
this counter is incremented at the end of each event
SliceSize:
PROC
RETURNS [number:
INT];
the size of the edit history buffer (number of events remembered)
NewSliceSize:
PROC [number:
INT];
can change history length dynamically
Known:
PROC [number:
INT]
RETURNS [
BOOL];
returns true if event is still remembered
GetRepeatList:
PROC [number:
INT]
RETURNS [
LIST
OF
REF
ANY];
returns the atoms and other args stored for the event
END.