diff doodle/core/undo.d @ 61:08ffc44fc21a

More palette work.
author daveb
date Wed, 11 Aug 2010 15:07:58 +0930
parents 576b9fba4677
children ab745d8b10e5
line wrap: on
line diff
--- a/doodle/core/undo.d	Tue Aug 10 22:55:54 2010 +0930
+++ b/doodle/core/undo.d	Wed Aug 11 15:07:58 2010 +0930
@@ -87,6 +87,10 @@
         _maxUndoLevel = maxUndoLevel;
     }
 
+    ~this() {
+        assert(_observers.length == 0);
+    }
+
     void addEdit(Edit edit) {
         _redoEdits.length = 0;