-- TEditHistory.mesa; Edited by Paxton on October 28, 1982 12:46 pm
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 [
BOOLEAN];
-- 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.