/***************************************************************************************/
/*                                                                                     */
/*  SCS editor Version 2                                                               */
/*  File : HistoryInterface.pkg                                                        */
/*  Version : 24 Juillet 2000                                                          */
/*  History and Undo operations computation                                            */
/*                                                                                     */
/***************************************************************************************/


/* complement to History API */

fun HISTORY_SetCallBacks( history, add, del )=
  set history.HISTORY_Add_Reflex = add;
  set history.HISTORY_Del_Reflex = del
;;


/* undo reverse operations computation */


/* operation notification -> add an entry to history */
fun HISTORY_AddCurrentSite( description, undo, redo )=
  let SELECT_GetSite -> site in
    let SITE_GetHistory site -> history in
    (
      if !history.UndoPending
      then
        HISTORY_Add history description undo redo
      else
      (
        set history.UndoPending = 0;
        history
      )
    )
;;