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

codex_autorunner/static/notifications.js

@@ -0,0 +1,288 @@
+// GENERATED FILE - do not edit directly. Source: static_src/
+import { api, escapeHtml, openModal, resolvePath } from "./utils.js";
+import { registerAutoRefresh } from "./autoRefresh.js";
+let notificationsInitialized = false;
+let notificationItems = [];
+let activeRoot = null;
+let closeModalFn = null;
+let documentListenerInstalled = false;
+let modalElements = null;
+let isRefreshing = false;
+const DROPDOWN_MARGIN = 8;
+const DROPDOWN_OFFSET = 6;
+const NOTIFICATIONS_REFRESH_ID = "notifications";
+const NOTIFICATIONS_REFRESH_MS = 15000;
+function getModalElements() {
+    if (modalElements)
+        return modalElements;
+    const overlay = document.getElementById("notifications-modal");
+    const body = document.getElementById("notifications-modal-body");
+    const closeBtn = document.getElementById("notifications-modal-close");
+    if (!overlay || !body || !closeBtn)
+        return null;
+    modalElements = { overlay, body, closeBtn };
+    return modalElements;
+}
+function getRootElements(root) {
+    const trigger = root.querySelector("[data-notifications-trigger]");
+    const badge = root.querySelector("[data-notifications-badge]");
+    const dropdown = root.querySelector("[data-notifications-dropdown]");
+    if (!trigger || !badge || !dropdown)
+        return null;
+    return { root, trigger, badge, dropdown };
+}
+function setBadgeCount(count) {
+    const roots = document.querySelectorAll("[data-notifications-root]");
+    roots.forEach((root) => {
+        const elements = getRootElements(root);
+        if (!elements)
+            return;
+        elements.badge.textContent = count > 0 ? String(count) : "";
+        elements.badge.classList.toggle("hidden", count <= 0);
+        elements.trigger.setAttribute("aria-label", count > 0 ? `Notifications (${count})` : "Notifications");
+    });
+}
+function normalizeItem(item) {
+    const repoId = String(item.repo_id || "");
+    const repoDisplay = item.repo_display_name || repoId;
+    const mode = item.dispatch?.mode || "";
+    const title = (item.dispatch?.title || "").trim();
+    const fallbackTitle = title || mode || "Dispatch";
+    const body = item.dispatch?.body || "";
+    const isHandoff = Boolean(item.dispatch?.is_handoff) || mode === "pause";
+    const runId = String(item.run_id || "");
+    const openUrl = item.open_url || `/repos/${repoId}/?tab=inbox&run_id=${runId}`;
+    return {
+        repoId,
+        repoDisplay,
+        runId,
+        status: item.status || "paused",
+        seq: item.seq,
+        title: fallbackTitle,
+        mode,
+        body,
+        isHandoff,
+        openUrl,
+    };
+}
+function renderDropdown(root) {
+    if (!root)
+        return;
+    if (!notificationItems.length) {
+        root.dropdown.innerHTML = '<div class="notifications-empty muted small">No pending dispatches</div>';
+        return;
+    }
+    const html = notificationItems
+        .map((item, index) => {
+        const pill = item.isHandoff ? "handoff" : "paused";
+        return `
+        <button class="notifications-item" type="button" data-index="${index}">
+          <span class="notifications-item-repo">${escapeHtml(item.repoDisplay)}</span>
+          <span class="notifications-item-title">${escapeHtml(item.title)}</span>
+          <span class="pill pill-small pill-warn notifications-item-pill">${escapeHtml(pill)}</span>
+        </button>
+      `;
+    })
+        .join("");
+    root.dropdown.innerHTML = html;
+}
+function renderDropdownError(root) {
+    if (!root)
+        return;
+    root.dropdown.innerHTML = '<div class="notifications-empty muted small">Failed to load dispatches</div>';
+}
+function closeDropdown() {
+    if (!activeRoot)
+        return;
+    activeRoot.dropdown.classList.add("hidden");
+    activeRoot.dropdown.style.position = "";
+    activeRoot.dropdown.style.left = "";
+    activeRoot.dropdown.style.right = "";
+    activeRoot.dropdown.style.top = "";
+    activeRoot.dropdown.style.visibility = "";
+    activeRoot.trigger.setAttribute("aria-expanded", "false");
+    activeRoot = null;
+    removeDocumentListener();
+}
+function positionDropdown(root) {
+    const { trigger, dropdown } = root;
+    const triggerRect = trigger.getBoundingClientRect();
+    dropdown.style.position = "fixed";
+    dropdown.style.left = "0";
+    dropdown.style.right = "auto";
+    dropdown.style.top = "0";
+    dropdown.style.visibility = "hidden";
+    const dropdownRect = dropdown.getBoundingClientRect();
+    const width = dropdownRect.width || 240;
+    const height = dropdownRect.height || 0;
+    const viewportWidth = window.innerWidth;
+    const viewportHeight = window.innerHeight;
+    let left = triggerRect.right - width;
+    left = Math.min(Math.max(left, DROPDOWN_MARGIN), viewportWidth - width - DROPDOWN_MARGIN);
+    const preferredTop = triggerRect.bottom + DROPDOWN_OFFSET;
+    const fallbackTop = triggerRect.top - DROPDOWN_OFFSET - height;
+    let top = preferredTop;
+    if (preferredTop + height > viewportHeight - DROPDOWN_MARGIN) {
+        top = Math.max(DROPDOWN_MARGIN, fallbackTop);
+    }
+    dropdown.style.left = `${Math.max(DROPDOWN_MARGIN, left)}px`;
+    dropdown.style.top = `${Math.max(DROPDOWN_MARGIN, top)}px`;
+    dropdown.style.visibility = "";
+}
+function openDropdown(root) {
+    if (activeRoot && activeRoot !== root) {
+        activeRoot.dropdown.classList.add("hidden");
+        activeRoot.trigger.setAttribute("aria-expanded", "false");
+    }
+    activeRoot = root;
+    renderDropdown(root);
+    root.dropdown.classList.remove("hidden");
+    positionDropdown(root);
+    root.trigger.setAttribute("aria-expanded", "true");
+    installDocumentListener();
+}
+function toggleDropdown(root) {
+    if (activeRoot && activeRoot === root && !root.dropdown.classList.contains("hidden")) {
+        closeDropdown();
+        return;
+    }
+    openDropdown(root);
+}
+function installDocumentListener() {
+    if (documentListenerInstalled)
+        return;
+    documentListenerInstalled = true;
+    document.addEventListener("pointerdown", handleDocumentPointerDown);
+}
+function removeDocumentListener() {
+    if (!documentListenerInstalled)
+        return;
+    documentListenerInstalled = false;
+    document.removeEventListener("pointerdown", handleDocumentPointerDown);
+}
+function handleDocumentPointerDown(event) {
+    if (!activeRoot)
+        return;
+    const target = event.target;
+    if (!target || !activeRoot.root.contains(target)) {
+        closeDropdown();
+    }
+}
+function closeNotificationsModal() {
+    if (!closeModalFn)
+        return;
+    closeModalFn();
+    closeModalFn = null;
+}
+function openNotificationsModal(item, returnFocusTo) {
+    const modal = getModalElements();
+    if (!modal)
+        return;
+    closeNotificationsModal();
+    const runLabel = item.seq ? `${item.runId.slice(0, 8)} (#${item.seq})` : item.runId.slice(0, 8);
+    const modeLabel = item.mode ? ` (${item.mode})` : "";
+    const body = item.body?.trim() ? escapeHtml(item.body) : '<span class="muted">No message body.</span>';
+    modal.body.innerHTML = `
+    <div class="notifications-modal-meta">
+      <div class="notifications-modal-row">
+        <span class="notifications-modal-label">Repo</span>
+        <span class="notifications-modal-value">${escapeHtml(item.repoDisplay)}</span>
+      </div>
+      <div class="notifications-modal-row">
+        <span class="notifications-modal-label">Run</span>
+        <span class="notifications-modal-value mono">${escapeHtml(runLabel)}</span>
+      </div>
+      <div class="notifications-modal-row">
+        <span class="notifications-modal-label">Dispatch</span>
+        <span class="notifications-modal-value">${escapeHtml(item.title)}${escapeHtml(modeLabel)}</span>
+      </div>
+    </div>
+    <div class="notifications-modal-body">${body}</div>
+    <div class="notifications-modal-actions">
+      <a class="primary sm notifications-open-run" href="${escapeHtml(resolvePath(item.openUrl))}">Open run</a>
+    </div>
+    <div class="notifications-modal-placeholder">Reply here (coming soon).</div>
+  `;
+    closeModalFn = openModal(modal.overlay, {
+        closeOnEscape: true,
+        closeOnOverlay: true,
+        initialFocus: modal.closeBtn,
+        returnFocusTo: returnFocusTo || null,
+    });
+}
+async function refreshNotifications(_ctx) {
+    if (isRefreshing)
+        return;
+    isRefreshing = true;
+    try {
+        const payload = (await api("/hub/messages", { method: "GET" }));
+        const items = payload?.items || [];
+        notificationItems = items.map(normalizeItem);
+        setBadgeCount(notificationItems.length);
+        if (activeRoot) {
+            renderDropdown(activeRoot);
+        }
+    }
+    catch (_err) {
+        if (activeRoot) {
+            renderDropdownError(activeRoot);
+        }
+    }
+    finally {
+        isRefreshing = false;
+    }
+}
+function attachRoot(root) {
+    root.trigger.setAttribute("aria-haspopup", "menu");
+    root.trigger.setAttribute("aria-expanded", "false");
+    root.trigger.addEventListener("pointerdown", (event) => {
+        event.preventDefault();
+        event.stopPropagation();
+        toggleDropdown(root);
+    });
+    root.trigger.addEventListener("click", (event) => {
+        event.preventDefault();
+        event.stopPropagation();
+    });
+    root.dropdown.addEventListener("click", (event) => {
+        const target = event.target?.closest(".notifications-item");
+        if (!target)
+            return;
+        const index = Number(target.dataset.index || "-1");
+        const item = notificationItems[index];
+        if (!item)
+            return;
+        closeDropdown();
+        openNotificationsModal(item, root.trigger);
+    });
+}
+function attachModalHandlers() {
+    const modal = getModalElements();
+    if (!modal)
+        return;
+    modal.closeBtn.addEventListener("click", () => {
+        closeNotificationsModal();
+    });
+}
+export function initNotifications() {
+    if (notificationsInitialized)
+        return;
+    const roots = Array.from(document.querySelectorAll("[data-notifications-root]"));
+    if (!roots.length)
+        return;
+    roots.forEach((root) => {
+        const elements = getRootElements(root);
+        if (!elements)
+            return;
+        attachRoot(elements);
+    });
+    attachModalHandlers();
+    registerAutoRefresh(NOTIFICATIONS_REFRESH_ID, {
+        callback: refreshNotifications,
+        tabId: null,
+        interval: NOTIFICATIONS_REFRESH_MS,
+        refreshOnActivation: true,
+        immediate: true,
+    });
+    notificationsInitialized = true;
+}