jester/zlh-grind
1
0
Fork 0
Code Issues 14 Pull Requests Actions Packages Projects Releases Wiki Activity

Update Portal code-server control placement

Browse Source
This commit is contained in:
jester 2026-04-16 20:48:37 +00:00
parent c22f759dfd
commit ccd29af29f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Codex/Portal/CURRENT_STATE.md
View File

@ -38,7 +38,7 @@ This file records what is implemented now.
## Hosted IDE ## Hosted IDE
- console and server-list "Open IDE" actions request `/api/dev/{serverId}/ide-token`. - 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. - 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`. - code-server service actions call `/api/dev/{serverId}/codeserver/start`, `/api/dev/{serverId}/codeserver/restart`, and `/api/dev/{serverId}/codeserver/stop`.
## Dashboard / IA ## Dashboard / IA