From ccd29af29f389bbf4c6a33bd9a73e43ae160e29e Mon Sep 17 00:00:00 2001 From: jester Date: Thu, 16 Apr 2026 20:48:37 +0000 Subject: [PATCH] Update Portal code-server control placement --- Codex/Portal/CURRENT_STATE.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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