diff options
author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-11-16 23:14:00 +0100 |
---|---|---|
committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-11-16 23:14:00 +0100 |
commit | 8f3e18e12c8e85ad635dc765020327477668a131 (patch) | |
tree | 4a53643553452fd05d7d00d3119b55348bf80e10 /main.cpp | |
parent | ac204acb60f14d78610c60229d76fe7438c06424 (diff) | |
download | sciteco-8f3e18e12c8e85ad635dc765020327477668a131.tar.gz |
Make sure undo tokens and RB-tree entries are destroyed properly
* when a pointer to an abstract base class is "deleted", it must have a virtual destructor so the destructor of derived classes is executed
* fixes for instance, deletion of save point files when the command line is terminated (undo stack is discarded)
* simplified some undotoken code
Diffstat (limited to 'main.cpp')
0 files changed, 0 insertions, 0 deletions