diff --git a/artiq/gui/applets.py b/artiq/gui/applets.py index ddad89e5d..dc8816c6b 100644 --- a/artiq/gui/applets.py +++ b/artiq/gui/applets.py @@ -372,6 +372,7 @@ class AppletsDock(QtWidgets.QDockWidget): if uid is None: uid = next(iter(set(range(len(self.applet_uids) + 1)) - self.applet_uids)) + assert uid not in self.applet_uids self.applet_uids.add(uid) row = self.table.rowCount() @@ -413,7 +414,6 @@ class AppletsDock(QtWidgets.QDockWidget): self.applet_uids.remove(item.applet_uid) self.table.removeRow(row) - async def stop(self): for row in range(self.table.rowCount()): dock = self.table.item(row, 0).applet_dock