diff -r 7991eb6bcb5a -r c4424d8eebb0 controls/EditorPanel.py --- 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