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