aboutsummaryrefslogtreecommitdiffhomepage
path: root/undo.h
diff options
context:
space:
mode:
authorRobin Haberkorn <robin.haberkorn@googlemail.com>2012-11-16 23:14:00 +0100
committerRobin Haberkorn <robin.haberkorn@googlemail.com>2012-11-16 23:14:00 +0100
commit8f3e18e12c8e85ad635dc765020327477668a131 (patch)
tree4a53643553452fd05d7d00d3119b55348bf80e10 /undo.h
parentac204acb60f14d78610c60229d76fe7438c06424 (diff)
downloadsciteco-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 'undo.h')
-rw-r--r--undo.h2
1 files changed, 2 insertions, 0 deletions
diff --git a/undo.h b/undo.h
index a32d02a..32bb2d5 100644
--- a/undo.h
+++ b/undo.h
@@ -18,6 +18,8 @@ public:
gint pos;
+ virtual ~UndoToken() {}
+
virtual void run() = 0;
};