--- a/controls/EditorPanel.py	Mon Jul 30 16:06:21 2012 +0200
+++ b/controls/EditorPanel.py	Tue Jul 31 17:45:06 2012 +0200
@@ -106,6 +106,9 @@
     def IsModified(self):
         return False
     
+    def CheckSaveBeforeClosing(self):
+        return True
+    
     def Save(self):
         pass