codex-autorunner 0.1.2__py3-none-any.whl → 1.1.0__py3-none-any.whl

codex_autorunner/static/tabs.js

@@ -1,41 +1,205 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
 import { publish } from "./bus.js";
-import { getUrlParams, updateUrlParams } from "./utils.js";
+import { escapeHtml, getUrlParams, updateUrlParams } from "./utils.js";
 const tabs = [];
-export function registerTab(id, label) {
-    tabs.push({ id, label });
+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), menuTab: Boolean(opts.menuTab), icon: opts.icon });
 }
-export function initTabs(defaultTab = "dashboard") {
+export function registerHamburgerAction(id, label, icon, onClick) {
+    hamburgerActions.push({ id, label, icon, onClick });
+}
+let setActivePanelFn = null;
+let pendingActivate = null;
+export function activateTab(id) {
+    if (setActivePanelFn) {
+        setActivePanelFn(id);
+    }
+    else {
+        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);
     };
-    tabs.forEach(tab => {
+    setActivePanelFn = setActivePanel;
+    // 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;
-        btn.textContent = tab.label;
+        btn.innerHTML = `
+      <span class="tab-label">${escapeHtml(tab.label)}</span>
+      <span class="badge hidden" id="tab-badge-${tab.id}"></span>
+    `;
         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 && allVisibleTabs.some((t) => t.id === pendingActivate)) {
+        const id = pendingActivate;
+        pendingActivate = null;
+        setActivePanel(id);
     }
 }

codex_autorunner/static/terminal.js

@@ -1,12 +1,44 @@
+// 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;
 }
 export function initTerminal() {
     if (terminalManager) {
+        // eslint-disable-next-line @typescript-eslint/no-explicit-any
+        if (typeof terminalManager.fit === "function") {
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+            terminalManager.fit();
+        }
         return;
     }
     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
+        if (typeof terminalManager.fit === "function") {
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+            terminalManager.fit();
+        }
+    }
+}
+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/terminalManager.js

@@ -1,3 +1,4 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
 import { api, flash, buildWsUrl, getAuthToken, isMobileViewport } from "./utils.js";
 import { getSelectedAgent, getSelectedModel, getSelectedReasoning, initAgentControls, } from "./agentControls.js";
 function base64UrlEncode(value) {
@@ -44,21 +45,7 @@ const XTERM_COLOR_MODE_PALETTE_16 = 0x01000000;
 const XTERM_COLOR_MODE_PALETTE_256 = 0x02000000;
 const XTERM_COLOR_MODE_RGB = 0x03000000;
 const CAR_CONTEXT_HOOK_ID = "car_context";
-const GITHUB_CONTEXT_HOOK_ID = "github_context";
-const CAR_CONTEXT_KEYWORDS = [
-    "car",
-    "codex",
-    "todo",
-    "progress",
-    "opinions",
-    "spec",
-    "summary",
-    "autorunner",
-    "work docs",
-];
-const GITHUB_LINK_RE = /https?:\/\/github\.com\/[^/\s]+\/[^/\s]+\/(?:issues|pull)\/\d+(?:[/?#][^\s]*)?/i;
-const CAR_CONTEXT_HINT_TEXT = "Context: read .codex-autorunner/ABOUT_CAR.md for repo-specific rules.";
-const CAR_CONTEXT_HINT = wrapInjectedContext(CAR_CONTEXT_HINT_TEXT);
+const CAR_CONTEXT_HINT = wrapInjectedContext(CONSTANTS.PROMPTS.CAR_CONTEXT_HINT);
 const VOICE_TRANSCRIPT_DISCLAIMER_TEXT = CONSTANTS.PROMPTS?.VOICE_TRANSCRIPT_DISCLAIMER ||
     "Note: transcribed from user voice. If confusing or possibly inaccurate and you cannot infer the intention please clarify before proceeding.";
 const INJECTED_CONTEXT_TAG_RE = /<injected context>/i;
@@ -360,7 +347,6 @@ export class TerminalManager {
         this.lastAltScrollbackSize = 0;
         this.transcriptResetForConnect = false;
         this._registerTextInputHook(this._buildCarContextHook());
-        this._registerTextInputHook(this._buildGithubContextHook());
         // Bind methods that are used as callbacks
         this._handleResize = this._handleResize.bind(this);
         this._handleVoiceHotkeyDown = this._handleVoiceHotkeyDown.bind(this);
@@ -444,6 +430,20 @@ export class TerminalManager {
             this.connect({ mode: "attach" });
         }
     }
+    /**
+     * Force resize terminal to fit container
+     */
+    fit() {
+        if (this.fitAddon && this.term) {
+            try {
+                this.fitAddon.fit();
+                this._handleResize(); // Send resize to server
+            }
+            catch (e) {
+                // ignore
+            }
+        }
+    }
     /**
      * Set terminal status message
      */
@@ -621,12 +621,12 @@ export class TerminalManager {
                 if (manager._hasTextInputHookFired(CAR_CONTEXT_HOOK_ID))
                     return null;
                 const lowered = text.toLowerCase();
-                const hit = CAR_CONTEXT_KEYWORDS.some((kw) => lowered.includes(kw));
+                const hit = CONSTANTS.KEYWORDS.CAR_CONTEXT.some((kw) => lowered.includes(kw));
                 if (!hit)
                     return null;
                 if (lowered.includes("about_car.md"))
                     return null;
-                if (text.includes(CAR_CONTEXT_HINT_TEXT) ||
+                if (text.includes(CONSTANTS.PROMPTS.CAR_CONTEXT_HINT) ||
                     text.includes(CAR_CONTEXT_HINT)) {
                     return null;
                 }
@@ -637,43 +637,8 @@ export class TerminalManager {
             },
         };
     }
-    _buildGithubContextHook() {
-        return {
-            id: GITHUB_CONTEXT_HOOK_ID,
-            apply: async ({ text }) => {
-                if (!text || !text.trim())
-                    return null;
-                const match = text.match(GITHUB_LINK_RE);
-                if (!match)
-                    return null;
-                try {
-                    const res = await api("/api/github/context", {
-                        method: "POST",
-                        body: { url: match[0] },
-                    });
-                    if (!res || typeof res !== "object")
-                        return null;
-                    const injection = wrapInjectedContextIfNeeded(res.hint);
-                    const separator = text.endsWith("\n") ? "\n" : "\n\n";
-                    return { text: `${text}${separator}${injection}` };
-                }
-                catch (_err) {
-                    return null;
-                }
-            },
-        };
-    }
     async _loadTerminalIdleTimeout() {
-        try {
-            const data = await api(CONSTANTS.API.STATE_ENDPOINT);
-            if (data &&
-                typeof data === "object" && data !== null && "terminal_idle_timeout_seconds" in data) {
-                this.terminalIdleTimeoutSeconds = data.terminal_idle_timeout_seconds;
-            }
-        }
-        catch (_err) {
-            // ignore
-        }
+        // State endpoint removed - terminal idle timeout no longer loaded from /api/state
     }
     _getSessionStorageKey() {
         return `${SESSION_STORAGE_PREFIX}${this._getRepoStorageKey()}`;
@@ -1880,7 +1845,8 @@ export class TerminalManager {
      * Ensure xterm terminal is initialized
      */
     _ensureTerminal() {
-        if (!window.Terminal || !window.FitAddon) {
+        const win = window;
+        if (!win.Terminal || !win.FitAddon) {
             this._setStatus("xterm assets missing; reload or check /static/vendor");
             flash("xterm assets missing; reload the page", "error");
             return false;
@@ -1899,7 +1865,7 @@ export class TerminalManager {
         const container = document.getElementById("terminal-container");
         if (!container)
             return false;
-        this.term = new window.Terminal({
+        this.term = new win.Terminal({
             convertEol: true,
             fontFamily: '"JetBrains Mono", "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace',
             fontSize: this._getFontSize(),
@@ -1911,7 +1877,7 @@ export class TerminalManager {
             scrollback: this.transcriptMaxLines,
             theme: CONSTANTS.THEME.XTERM,
         });
-        this.fitAddon = new window.FitAddon.FitAddon();
+        this.fitAddon = new win.FitAddon.FitAddon();
         this.term.loadAddon(this.fitAddon);
         this.term.open(container);
         this.term.write('Press "New" or "Resume" to launch Codex TUI...\r\n');
@@ -1920,6 +1886,13 @@ export class TerminalManager {
         this.term.onScroll(() => this._updateJumpBottomVisibility());
         this.term.onRender(() => this._scheduleMobileViewRender());
         this._updateJumpBottomVisibility();
+        // Initial fit
+        try {
+            this.fitAddon.fit();
+        }
+        catch (e) {
+            // ignore fit errors when not visible
+        }
         if (!this.inputDisposable) {
             this.inputDisposable = this.term.onData((data) => {
                 if (!this.socket || this.socket.readyState !== WebSocket.OPEN)
@@ -2004,7 +1977,8 @@ export class TerminalManager {
         if (!viewport)
             return;
         const getLineHeight = () => {
-            const dims = this.term?._core?._renderService?.dimensions;
+            const core = this.term?._core;
+            const dims = core?._renderService?.dimensions;
             if (dims && Number.isFinite(dims.actualCellHeight) && dims.actualCellHeight > 0) {
                 return dims.actualCellHeight;
             }
@@ -3100,7 +3074,8 @@ export class TerminalManager {
                 method: "POST",
                 body: formData,
             });
-            const imagePath = response?.path || response?.abs_path;
+            const p = response;
+            const imagePath = p.path || p.abs_path;
             if (!imagePath) {
                 throw new Error("Upload returned no path");
             }