wip

bec_widgets/applications/bw_launch.py

@@ -21,8 +21,8 @@ class Launcher(BECWidget, QMainWindow):
         self.setCentralWidget(self.ui)
 
 
-def dock_area():
-    dock_area = BECDockArea()
+def dock_area(name: str | None = None):
+    dock_area = BECDockArea(name=name)
     return dock_area
 
 

bec_widgets/applications/launch_window.py

@@ -165,7 +165,7 @@ class LaunchWindow(BECWidget, QMainWindow):
             else:
                 name = "dock_area"
                 name = WidgetContainerUtils.generate_unique_name(name, existing_dock_areas)
-            dock_area = dock_area()  # BECDockArea(name=name)
+            dock_area = dock_area(name)  # BECDockArea(name=name)
             dock_area.resize(dock_area.minimumSizeHint())
             # TODO Should we simply use the specified name as title here?
             dock_area.window().setWindowTitle(f"BEC - {name}")

bec_widgets/cli/client_utils.py

@@ -456,7 +456,7 @@ class BECGuiClient(RPCBase):
             if not state["config"].get("parent_id") and state["widget_class"] not in IGNORE_WIDGETS
         ]
         removed_widgets = set(self._top_level.keys()) - set(
-            [state["name"] for state in top_level_widgets]
+            state["name"] for state in top_level_widgets
         )
 
         for widget_name in removed_widgets: