codex-autorunner 1.0.0__py3-none-any.whl → 1.1.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/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" });
+    });
+}

codex_autorunner/static/ticketEditor.js

@@ -30,6 +30,68 @@ const state = {
 // Autosave debounce timer
 const AUTOSAVE_DELAY_MS = 1000;
 let ticketDocEditor = null;
+let ticketNavCache = [];
+function isTypingTarget(target) {
+    if (!(target instanceof HTMLElement))
+        return false;
+    const tag = target.tagName;
+    return tag === "INPUT" || tag === "TEXTAREA" || tag === "SELECT" || target.isContentEditable;
+}
+async function fetchTicketList() {
+    const data = (await api("/api/flows/ticket_flow/tickets"));
+    const list = (data?.tickets || []).filter((ticket) => typeof ticket.index === "number");
+    list.sort((a, b) => (a.index ?? 0) - (b.index ?? 0));
+    return list;
+}
+async function updateTicketNavButtons() {
+    const { prevBtn, nextBtn } = els();
+    if (!prevBtn || !nextBtn)
+        return;
+    if (state.mode !== "edit" || state.ticketIndex == null) {
+        prevBtn.disabled = true;
+        nextBtn.disabled = true;
+        return;
+    }
+    try {
+        const list = await fetchTicketList();
+        ticketNavCache = list;
+    }
+    catch {
+        // If fetch fails, fall back to the last known list.
+    }
+    const list = ticketNavCache;
+    if (!list.length) {
+        prevBtn.disabled = true;
+        nextBtn.disabled = true;
+        return;
+    }
+    const idx = list.findIndex((ticket) => ticket.index === state.ticketIndex);
+    const hasPrev = idx > 0;
+    const hasNext = idx >= 0 && idx < list.length - 1;
+    prevBtn.disabled = !hasPrev;
+    nextBtn.disabled = !hasNext;
+}
+async function navigateTicket(delta) {
+    if (state.mode !== "edit" || state.ticketIndex == null)
+        return;
+    await performAutosave();
+    let list = ticketNavCache;
+    if (!list.length) {
+        try {
+            list = await fetchTicketList();
+            ticketNavCache = list;
+        }
+        catch {
+            return;
+        }
+    }
+    const idx = list.findIndex((ticket) => ticket.index === state.ticketIndex);
+    const target = idx >= 0 ? list[idx + delta] : null;
+    if (target && target.index != null) {
+        openTicketEditor(target);
+    }
+    void updateTicketNavButtons();
+}
 function els() {
     return {
         modal: document.getElementById("ticket-editor-modal"),
@@ -40,6 +102,8 @@ function els() {
         newBtn: document.getElementById("ticket-new-btn"),
         insertCheckboxBtn: document.getElementById("ticket-insert-checkbox"),
         undoBtn: document.getElementById("ticket-undo-btn"),
+        prevBtn: document.getElementById("ticket-nav-prev"),
+        nextBtn: document.getElementById("ticket-nav-next"),
         autosaveStatus: document.getElementById("ticket-autosave-status"),
         // Frontmatter form elements
         fmAgent: document.getElementById("ticket-fm-agent"),
@@ -532,13 +596,14 @@ export function openTicketEditor(ticket) {
     if (ticket?.index != null) {
         updateUrlParams({ ticket: ticket.index });
     }
-    // Focus on title field for new tickets, body for existing
+    if (ticket?.path) {
+        publish("ticket-editor:opened", { path: ticket.path, index: ticket.index ?? null });
+    }
+    void updateTicketNavButtons();
+    // Focus on title field for new tickets
     if (state.mode === "create" && fmTitle) {
         fmTitle.focus();
     }
-    else {
-        content.focus();
-    }
 }
 /**
  * Close the ticket editor modal (autosaves on close)
@@ -568,9 +633,12 @@ export function closeTicketEditor() {
     ticketDocEditor = null;
     // Clear ticket from URL
     updateUrlParams({ ticket: null });
+    void updateTicketNavButtons();
     // Reset chat state
     resetTicketChatState();
     setTicketIndex(null);
+    // Notify that editor was closed (for selection state cleanup)
+    publish("ticket-editor:closed", {});
 }
 /**
  * Save the current ticket (triggers immediate autosave)
@@ -618,7 +686,7 @@ export async function deleteTicket() {
  * Initialize the ticket editor - wire up event listeners
  */
 export function initTicketEditor() {
-    const { modal, content, deleteBtn, closeBtn, newBtn, insertCheckboxBtn, undoBtn, fmAgent, fmModel, fmReasoning, fmDone, fmTitle, chatInput, chatSendBtn, chatCancelBtn, patchApplyBtn, patchDiscardBtn, agentSelect, modelSelect, reasoningSelect, } = els();
+    const { modal, content, deleteBtn, closeBtn, newBtn, insertCheckboxBtn, undoBtn, prevBtn, nextBtn, fmAgent, fmModel, fmReasoning, fmDone, fmTitle, chatInput, chatSendBtn, chatCancelBtn, patchApplyBtn, patchDiscardBtn, agentSelect, modelSelect, reasoningSelect, } = els();
     if (!modal)
         return;
     // Prevent double initialization
@@ -646,6 +714,16 @@ export function initTicketEditor() {
         insertCheckboxBtn.addEventListener("click", insertCheckbox);
     if (undoBtn)
         undoBtn.addEventListener("click", undoChange);
+    if (prevBtn)
+        prevBtn.addEventListener("click", (e) => {
+            e.preventDefault();
+            void navigateTicket(-1);
+        });
+    if (nextBtn)
+        nextBtn.addEventListener("click", (e) => {
+            e.preventDefault();
+            void navigateTicket(1);
+        });
     // Autosave on content changes
     if (content) {
         content.addEventListener("input", onContentChange);
@@ -718,6 +796,22 @@ export function initTicketEditor() {
             undoChange();
         }
     });
+    // Left/Right arrows navigate between tickets when editor is open and not typing
+    document.addEventListener("keydown", (e) => {
+        if (!state.isOpen)
+            return;
+        // Check for navigation keys
+        if (e.key !== "ArrowLeft" && e.key !== "ArrowRight")
+            return;
+        // Don't interfere with typing
+        if (isTypingTarget(e.target))
+            return;
+        // Only allow Alt or no modifier (no Ctrl/Meta/Shift)
+        if (e.ctrlKey || e.metaKey || e.shiftKey)
+            return;
+        e.preventDefault();
+        void navigateTicket(e.key === "ArrowLeft" ? -1 : 1);
+    });
     // Enter key creates new TODO checkbox when on a checkbox line
     if (content) {
         content.addEventListener("keydown", (e) => {