index 7f121dbcebf608fb795c4a537bcfcad1bce853aa..9b42cf033df133a8a9c587440cb849eb524da3e8 100644 (file)
class ConsoleOutputUndoObserver : public UndoStackObserver {
public:
ConsoleOutputUndoObserver() : UndoStackObserver() { }
- ~ConsoleOutputUndoObserver() { }
+ virtual ~ConsoleOutputUndoObserver() { }
- void notifyUndoEvent(XML::Event* log);
- void notifyRedoEvent(XML::Event* log);
- void notifyUndoCommitEvent(XML::Event* log);
+ void notifyUndoEvent(Event* log);
+ void notifyRedoEvent(Event* log);
+ void notifyUndoCommitEvent(Event* log);
+ void notifyClearUndoEvent();
+ void notifyClearRedoEvent();
};
}