<<-- 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.