fix(agent/agentcontainers): broadcast devcontainer dirty status over websocket (#21100)

2026-09-24 15:04:27 +08:00 · 2025-12-04 16:11:03 +02:00
parent 532a1f3054
commit d9159103cd
2 changed files with 73 additions and 0 deletions
@@ -1457,6 +1457,8 @@ func (api *API) markDevcontainerDirty(configPath string, modifiedAt time.Time) {

 		api.knownDevcontainers[dc.WorkspaceFolder] = dc
 	}
+
+	api.broadcastUpdatesLocked()
 }

 // cleanupSubAgents removes subagents that are no longer managed by