codex-autorunner 1.0.0__py3-none-any.whl → 1.2.0__py3-none-any.whl

codex_autorunner/static/tabs.js

@@ -2,8 +2,16 @@
 import { publish } from "./bus.js";
 import { escapeHtml, getUrlParams, updateUrlParams } from "./utils.js";
 const tabs = [];
+const hamburgerActions = [];
+let hamburgerMenuOpen = false;
+let hamburgerMenuEl = null;
+let hamburgerBtnEl = null;
+let hamburgerBackdropEl = null;
 export function registerTab(id, label, opts = {}) {
-    tabs.push({ id, label, hidden: Boolean(opts.hidden) });
+    tabs.push({ id, label, hidden: Boolean(opts.hidden), menuTab: Boolean(opts.menuTab), icon: opts.icon });
+}
+export function registerHamburgerAction(id, label, icon, onClick) {
+    hamburgerActions.push({ id, label, icon, onClick });
 }
 let setActivePanelFn = null;
 let pendingActivate = null;
@@ -15,24 +23,55 @@ export function activateTab(id) {
         pendingActivate = id;
     }
 }
+function closeHamburgerMenu() {
+    if (!hamburgerMenuOpen)
+        return;
+    hamburgerMenuOpen = false;
+    hamburgerMenuEl?.classList.remove("open");
+    hamburgerBtnEl?.classList.remove("active");
+    hamburgerBackdropEl?.classList.remove("open");
+}
+function toggleHamburgerMenu() {
+    hamburgerMenuOpen = !hamburgerMenuOpen;
+    hamburgerMenuEl?.classList.toggle("open", hamburgerMenuOpen);
+    hamburgerBtnEl?.classList.toggle("active", hamburgerMenuOpen);
+    hamburgerBackdropEl?.classList.toggle("open", hamburgerMenuOpen);
+}
+function updateHamburgerActiveState(activeTabId) {
+    if (!hamburgerMenuEl)
+        return;
+    const items = hamburgerMenuEl.querySelectorAll(".hamburger-item[data-target]");
+    items.forEach((item) => {
+        const target = item.dataset.target;
+        item.classList.toggle("active", target === activeTabId);
+    });
+    // Also update hamburger button active state if a menu tab is active
+    const isMenuTabActive = tabs.some((t) => t.menuTab && t.id === activeTabId);
+    hamburgerBtnEl?.classList.toggle("has-active", isMenuTabActive);
+}
 export function initTabs(defaultTab = "analytics") {
     const container = document.querySelector(".tabs");
+    const navBar = document.querySelector(".nav-bar");
     if (!container)
         return;
     container.innerHTML = "";
     const panels = document.querySelectorAll(".panel");
     const setActivePanel = (id) => {
         panels.forEach((p) => p.classList.toggle("active", p.id === id));
+        // Update primary tab buttons
         const buttons = container.querySelectorAll(".tab");
         buttons.forEach((btn) => btn.classList.toggle("active", btn.dataset.target === id));
+        // Update hamburger menu items
+        updateHamburgerActiveState(id);
         updateUrlParams({ tab: id });
         publish("tab:change", id);
     };
     setActivePanelFn = setActivePanel;
-    tabs.forEach(tab => {
-        if (tab.hidden) {
-            return;
-        }
+    // Separate primary tabs from menu tabs
+    const primaryTabs = tabs.filter((t) => !t.hidden && !t.menuTab);
+    const menuTabs = tabs.filter((t) => !t.hidden && t.menuTab);
+    // Render primary tabs
+    primaryTabs.forEach(tab => {
         const btn = document.createElement("button");
         btn.className = "tab";
         btn.dataset.target = tab.id;
@@ -43,20 +82,122 @@ export function initTabs(defaultTab = "analytics") {
         btn.addEventListener("click", () => setActivePanel(tab.id));
         container.appendChild(btn);
     });
+    // Create hamburger menu if there are menu tabs or actions
+    if (menuTabs.length > 0 || hamburgerActions.length > 0) {
+        const wrapper = document.createElement("div");
+        wrapper.className = "hamburger-wrapper";
+        // Hamburger button
+        const btn = document.createElement("button");
+        btn.className = "hamburger-btn";
+        btn.setAttribute("aria-label", "More options");
+        btn.setAttribute("aria-expanded", "false");
+        btn.innerHTML = `
+      <span class="hamburger-icon">
+        <span></span>
+        <span></span>
+        <span></span>
+      </span>
+    `;
+        hamburgerBtnEl = btn;
+        // Hamburger menu dropdown
+        const menu = document.createElement("div");
+        menu.className = "hamburger-menu";
+        menu.setAttribute("role", "menu");
+        hamburgerMenuEl = menu;
+        // Add menu tab items
+        menuTabs.forEach((tab) => {
+            const item = document.createElement("button");
+            item.className = "hamburger-item";
+            item.dataset.target = tab.id;
+            item.setAttribute("role", "menuitem");
+            const iconHtml = tab.icon ? `<span class="hamburger-item-icon">${tab.icon}</span>` : "";
+            item.innerHTML = `${iconHtml}<span>${escapeHtml(tab.label)}</span>`;
+            item.addEventListener("click", () => {
+                setActivePanel(tab.id);
+                closeHamburgerMenu();
+            });
+            menu.appendChild(item);
+        });
+        // Add divider if there are both tabs and actions
+        if (menuTabs.length > 0 && hamburgerActions.length > 0) {
+            const divider = document.createElement("div");
+            divider.className = "hamburger-divider";
+            menu.appendChild(divider);
+        }
+        // Add action items (like Settings)
+        hamburgerActions.forEach((action) => {
+            const item = document.createElement("button");
+            item.className = "hamburger-item";
+            item.dataset.action = action.id;
+            item.setAttribute("role", "menuitem");
+            const iconHtml = action.icon ? `<span class="hamburger-item-icon">${action.icon}</span>` : "";
+            item.innerHTML = `${iconHtml}<span>${escapeHtml(action.label)}</span>`;
+            item.addEventListener("click", () => {
+                action.onClick();
+                closeHamburgerMenu();
+            });
+            menu.appendChild(item);
+        });
+        // Mobile backdrop - appended to body for proper z-index stacking
+        const backdrop = document.createElement("div");
+        backdrop.className = "hamburger-backdrop";
+        backdrop.addEventListener("click", closeHamburgerMenu);
+        hamburgerBackdropEl = backdrop;
+        document.body.appendChild(backdrop);
+        // Append menu to body for mobile z-index stacking (above backdrop)
+        // On mobile, the nav-bar has z-index:100 which creates a stacking context
+        // that would trap the menu below the backdrop (z-index:1999)
+        document.body.appendChild(menu);
+        // Toggle menu on button click
+        const toggleHandler = (e) => {
+            e.stopPropagation();
+            // Prevent ghost clicks on touch devices
+            if (e.type === "touchend") {
+                e.preventDefault();
+            }
+            toggleHamburgerMenu();
+            btn.setAttribute("aria-expanded", String(hamburgerMenuOpen));
+        };
+        btn.addEventListener("click", toggleHandler);
+        btn.addEventListener("touchend", toggleHandler);
+        // Close menu on outside click (check both wrapper and menu since menu is in body)
+        document.addEventListener("click", (e) => {
+            if (hamburgerMenuOpen && !wrapper.contains(e.target) && !menu.contains(e.target)) {
+                closeHamburgerMenu();
+            }
+        });
+        // Close menu on Escape
+        document.addEventListener("keydown", (e) => {
+            if (e.key === "Escape" && hamburgerMenuOpen) {
+                closeHamburgerMenu();
+                hamburgerBtnEl?.focus();
+            }
+        });
+        wrapper.appendChild(btn);
+        // Insert hamburger after tabs or at the end of nav bar
+        const navActions = navBar?.querySelector(".nav-actions");
+        if (navActions) {
+            navBar?.insertBefore(wrapper, navActions);
+        }
+        else {
+            navBar?.appendChild(wrapper);
+        }
+    }
     const params = getUrlParams();
     const requested = params.get("tab");
-    const initialTab = tabs.some((t) => t.id === requested)
+    const allVisibleTabs = tabs.filter((t) => !t.hidden);
+    const initialTab = allVisibleTabs.some((t) => t.id === requested)
         ? requested
-        : tabs.some((t) => t.id === defaultTab)
+        : allVisibleTabs.some((t) => t.id === defaultTab)
             ? defaultTab
-            : tabs[0]?.id;
+            : allVisibleTabs[0]?.id;
     if (initialTab) {
         setActivePanel(initialTab);
     }
-    else if (tabs.length > 0) {
-        setActivePanel(tabs[0].id);
+    else if (allVisibleTabs.length > 0) {
+        setActivePanel(allVisibleTabs[0].id);
     }
-    if (pendingActivate && tabs.some((t) => t.id === pendingActivate)) {
+    if (pendingActivate && allVisibleTabs.some((t) => t.id === pendingActivate)) {
         const id = pendingActivate;
         pendingActivate = null;
         setActivePanel(id);

codex_autorunner/static/templateReposSettings.js

@@ -0,0 +1,225 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
+import { api, confirmModal, flash } from "./utils.js";
+import { checkTemplatesEnabled } from "./ticketTemplates.js";
+function els() {
+    return {
+        list: document.getElementById("template-repos-list"),
+        addBtn: document.getElementById("template-repos-add"),
+        form: document.getElementById("template-repo-form"),
+        idInput: document.getElementById("repo-id"),
+        urlInput: document.getElementById("repo-url"),
+        refInput: document.getElementById("repo-ref"),
+        trustedInput: document.getElementById("repo-trusted"),
+        saveBtn: document.getElementById("repo-save"),
+        cancelBtn: document.getElementById("repo-cancel"),
+    };
+}
+const state = {
+    mode: "create",
+    editId: null,
+    enabled: false,
+    repos: [],
+    busy: false,
+};
+function setBusy(busy) {
+    state.busy = busy;
+    const { saveBtn, addBtn } = els();
+    if (saveBtn)
+        saveBtn.disabled = busy;
+    if (addBtn)
+        addBtn.disabled = busy;
+}
+function showForm(show) {
+    const { form } = els();
+    if (!form)
+        return;
+    if (show)
+        form.classList.remove("hidden");
+    else
+        form.classList.add("hidden");
+}
+function resetForm() {
+    const { idInput, urlInput, refInput, trustedInput } = els();
+    if (idInput)
+        idInput.value = "";
+    if (urlInput)
+        urlInput.value = "";
+    if (refInput)
+        refInput.value = "main";
+    if (trustedInput)
+        trustedInput.checked = false;
+    state.mode = "create";
+    state.editId = null;
+    if (idInput)
+        idInput.disabled = false;
+}
+function openCreateForm() {
+    resetForm();
+    showForm(true);
+    const { idInput } = els();
+    idInput?.focus();
+}
+function openEditForm(repo) {
+    const { idInput, urlInput, refInput, trustedInput } = els();
+    state.mode = "edit";
+    state.editId = repo.id;
+    if (idInput) {
+        idInput.value = repo.id;
+        idInput.disabled = true;
+    }
+    if (urlInput)
+        urlInput.value = repo.url;
+    if (refInput)
+        refInput.value = repo.default_ref || "main";
+    if (trustedInput)
+        trustedInput.checked = Boolean(repo.trusted);
+    showForm(true);
+    urlInput?.focus();
+}
+function normalizeRequired(value, label) {
+    const v = (value || "").trim();
+    if (!v) {
+        flash(`${label} is required`, "error");
+        return null;
+    }
+    return v;
+}
+function renderRepos() {
+    const { list } = els();
+    if (!list)
+        return;
+    list.innerHTML = "";
+    if (!state.enabled) {
+        const hint = document.createElement("div");
+        hint.className = "muted small";
+        hint.textContent = "Templates are disabled (templates.enabled=false).";
+        list.appendChild(hint);
+    }
+    if (!state.repos.length) {
+        const empty = document.createElement("div");
+        empty.className = "muted small";
+        empty.textContent = "No template repos configured.";
+        list.appendChild(empty);
+        return;
+    }
+    for (const repo of state.repos) {
+        const row = document.createElement("div");
+        row.className = "template-repo-item";
+        row.innerHTML = `
+      <div class="template-repo-meta">
+        <span class="template-repo-id">${repo.id}</span>
+        <span class="template-repo-url">${repo.url}</span>
+        <span class="muted small">ref: ${repo.default_ref}${repo.trusted ? " · trusted" : ""}</span>
+      </div>
+      <div class="template-repo-actions">
+        <button class="ghost sm" data-action="edit" data-id="${repo.id}">Edit</button>
+        <button class="danger sm" data-action="delete" data-id="${repo.id}">Delete</button>
+      </div>
+    `;
+        list.appendChild(row);
+    }
+    list.querySelectorAll("button[data-action]").forEach((btn) => {
+        btn.addEventListener("click", async () => {
+            const action = btn.dataset.action;
+            const id = btn.dataset.id;
+            if (!action || !id)
+                return;
+            const repo = state.repos.find((r) => r.id === id);
+            if (!repo)
+                return;
+            if (action === "edit") {
+                openEditForm(repo);
+                return;
+            }
+            if (action === "delete") {
+                await deleteRepo(id);
+            }
+        });
+    });
+}
+export async function loadTemplateRepos() {
+    const { list } = els();
+    if (!list)
+        return;
+    try {
+        const data = (await api("/api/templates/repos"));
+        state.enabled = Boolean(data.enabled);
+        state.repos = Array.isArray(data.repos) ? data.repos : [];
+        renderRepos();
+    }
+    catch (err) {
+        state.enabled = false;
+        state.repos = [];
+        renderRepos();
+        flash(err.message || "Failed to load template repos", "error");
+    }
+}
+async function saveRepo() {
+    const { idInput, urlInput, refInput, trustedInput } = els();
+    if (!idInput || !urlInput || !refInput || !trustedInput)
+        return;
+    const id = normalizeRequired(idInput.value, "ID");
+    const url = normalizeRequired(urlInput.value, "Git URL");
+    const ref = normalizeRequired(refInput.value, "Default ref");
+    if (!id || !url || !ref)
+        return;
+    setBusy(true);
+    try {
+        if (state.mode === "create") {
+            await api("/api/templates/repos", {
+                method: "POST",
+                body: { id, url, trusted: Boolean(trustedInput.checked), default_ref: ref },
+            });
+            flash("Template repo added", "success");
+        }
+        else if (state.mode === "edit" && state.editId) {
+            await api(`/api/templates/repos/${encodeURIComponent(state.editId)}`, {
+                method: "PUT",
+                body: { url, trusted: Boolean(trustedInput.checked), default_ref: ref },
+            });
+            flash("Template repo updated", "success");
+        }
+        await loadTemplateRepos();
+        await checkTemplatesEnabled();
+        showForm(false);
+        resetForm();
+    }
+    catch (err) {
+        flash(err.message || "Failed to save template repo", "error");
+    }
+    finally {
+        setBusy(false);
+    }
+}
+async function deleteRepo(id) {
+    const confirmed = await confirmModal(`Delete template repo "${id}"?`, {
+        confirmText: "Delete",
+        danger: true,
+    });
+    if (!confirmed)
+        return;
+    setBusy(true);
+    try {
+        await api(`/api/templates/repos/${encodeURIComponent(id)}`, { method: "DELETE" });
+        flash("Template repo deleted", "success");
+        await loadTemplateRepos();
+        await checkTemplatesEnabled();
+    }
+    catch (err) {
+        flash(err.message || "Failed to delete template repo", "error");
+    }
+    finally {
+        setBusy(false);
+    }
+}
+export function initTemplateReposSettings() {
+    const { list, addBtn, saveBtn, cancelBtn } = els();
+    if (!list || !addBtn || !saveBtn || !cancelBtn)
+        return;
+    addBtn.addEventListener("click", () => openCreateForm());
+    saveBtn.addEventListener("click", () => void saveRepo());
+    cancelBtn.addEventListener("click", () => {
+        showForm(false);
+        resetForm();
+    });
+}

codex_autorunner/static/terminal.js

@@ -1,6 +1,10 @@
 // GENERATED FILE - do not edit directly. Source: static_src/
 import { TerminalManager } from "./terminalManager.js";
+import { refreshAgentControls } from "./agentControls.js";
+import { subscribe } from "./bus.js";
+import { isRepoHealthy } from "./health.js";
 let terminalManager = null;
+let terminalHealthRefreshInitialized = false;
 export function getTerminalManager() {
     return terminalManager;
 }
@@ -15,6 +19,7 @@ export function initTerminal() {
     }
     terminalManager = new TerminalManager();
     terminalManager.init();
+    initTerminalHealthRefresh();
     // Ensure terminal is resized to fit container after initialization
     if (terminalManager) {
         // eslint-disable-next-line @typescript-eslint/no-explicit-any
@@ -24,3 +29,16 @@ export function initTerminal() {
         }
     }
 }
+function initTerminalHealthRefresh() {
+    if (terminalHealthRefreshInitialized)
+        return;
+    terminalHealthRefreshInitialized = true;
+    subscribe("repo:health", (payload) => {
+        const status = payload?.status || "";
+        if (status !== "ok" && status !== "degraded")
+            return;
+        if (!isRepoHealthy())
+            return;
+        void refreshAgentControls({ reason: "background" });
+    });
+}