gui: setParent(None) before deleteLater() to remove dock appears unnecessary and causes memory corruption on Windows. Closes #362

sbourdeauducq · sbourdeauducq · commit 06e626024bb7 · 2016-03-30T11:39:36.000+08:00
diff --git a/artiq/gui/applets.py b/artiq/gui/applets.py
@@ -167,7 +167,6 @@ async def terminate(self, delete_self=True):
         self.starting_stopping = False
 
         if delete_self:
-            self.setParent(None)
             self.deleteLater()
 
     async def restart(self):
diff --git a/artiq/gui/log.py b/artiq/gui/log.py
@@ -356,7 +356,6 @@ def create_new_dock(self, add_to_area=True):
 
     def on_dock_closed(self, name):
         dock = self.docks[name]
-        dock.setParent(None)
         dock.deleteLater()
         del self.docks[name]
         self.update_closable()
