From 41493f935cff38c71408ccc311c57f4c34d19cf1 Mon Sep 17 00:00:00 2001 From: Alex Davies Date: Fri, 15 Nov 2024 13:15:09 -0400 Subject: [PATCH] Made detail widget uneditable --- guiTools/spiri_sdk_guitools/sim_drone.py | 1 + 1 file changed, 1 insertion(+) diff --git a/guiTools/spiri_sdk_guitools/sim_drone.py b/guiTools/spiri_sdk_guitools/sim_drone.py index fa2c519..b46b15d 100644 --- a/guiTools/spiri_sdk_guitools/sim_drone.py +++ b/guiTools/spiri_sdk_guitools/sim_drone.py @@ -131,6 +131,7 @@ class Robot: asyncio.create_task(container_logs(container, logelement)) with ui.expansion("Full details").classes("w-full outline outline-1").style("margin: 10px;"): details_widget = ui.codemirror(yaml.dump(container.attrs), language="yaml",theme="basicDark") + details_widget.enabled = False # Check for containers that have been removed removed = set(docker_elements.keys()) - set(self.containers()) for container in removed: