--- a/QScintilla/MiniEditor.py	Sun Jan 12 18:02:33 2014 +0100
+++ b/QScintilla/MiniEditor.py	Sun Jan 12 18:31:15 2014 +0100
@@ -108,7 +108,6 @@
         super().__init__(parent)
         if name is not None:
             self.setObjectName(name)
-        self.setAttribute(Qt.WA_DeleteOnClose)
         self.setWindowIcon(UI.PixmapCache.getIcon("editor.png"))
         
         self.setStyle(Preferences.getUI("Style"),