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 /rbtree.h | |
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 'rbtree.h')
-rw-r--r-- | rbtree.h | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -21,6 +21,8 @@ public: public: RB_ENTRY(RBEntry) nodes; + virtual ~RBEntry() {} + inline RBEntry * next(void) { |