diff --git a/Codex/Portal/CURRENT_STATE.md b/Codex/Portal/CURRENT_STATE.md
index 6454e46..c449996 100644
--- a/Codex/Portal/CURRENT_STATE.md
+++ b/Codex/Portal/CURRENT_STATE.md
@@ -38,7 +38,7 @@ This file records what is implemented now.
 ## Hosted IDE
 - console and server-list "Open IDE" actions request `/api/dev/{serverId}/ide-token`.
 - Portal opens the hosted URL returned by the API, falling back to the configured API base for relative URLs.
-- DEV server console and server-list rows expose an `IDE` menu for code-server `start`, `restart`, and `stop` actions.
+- DEV server console and server-list rows show code-server `start`, `restart`, and `stop` controls directly under the `Open IDE` button.
 - code-server service actions call `/api/dev/{serverId}/codeserver/start`, `/api/dev/{serverId}/codeserver/restart`, and `/api/dev/{serverId}/codeserver/stop`.
 
 ## Dashboard / IA