void set_creator(void *creator);
void* get_creator();
+ void save(FILE *fp);
+ void load(FILE *fp);
private:
// command description for the menu item
char *description;
// move to the next undo entry for a redo
UndoStackItem* pull_next();
+ void save(FILE *fp);
+ void load(FILE *fp);
void dump(FILE *fp=stdout);
UndoStackItem* current;