gui/applets: catch duplicate applet UIDs (#430)

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