fix: workspace_key set from cookie → 🔗 icon on homepage for remote workspaces

2026-07-14 12:49:54 -04:00
parent 9a063bc766
commit 7c3f62d094
1 changed files with 3 additions and 0 deletions
@@ -70,6 +70,8 @@ def _sidebar_data(request: Request, repos: list[dict]) -> dict:
    active_ws_name = "Workspace"
    workspace_pages = []
    gitea_workspace = False
+    gitea_owner = ""
+    gitea_repo = ""

    if ws_cookie and ws_cookie.startswith("gitea:"):
        # Gitea workspace: set owner/repo for client-side tree loading
@@ -114,6 +116,7 @@ def _sidebar_data(request: Request, repos: list[dict]) -> dict:
    return {
        "workspace_name": ws, "workspace_initial": initial,
        "active_ws_name": active_ws_name,
+        "workspace_key": f"{gitea_owner}/{gitea_repo}" if gitea_workspace else "",
        "workspace_pages": workspace_pages,
        "gitea_workspace": gitea_workspace,
        "current_page": "Dashboard", "last_edited": "now",