codex-autorunner 0.1.0__py3-none-any.whl

codex_autorunner/static/tabs.js

@@ -0,0 +1,50 @@
+import { publish } from "./bus.js";
+import { getUrlParams, updateUrlParams } from "./utils.js";
+
+const tabs = [];
+
+export function registerTab(id, label) {
+  tabs.push({ id, label });
+}
+
+export function initTabs(defaultTab = "dashboard") {
+  const container = document.querySelector(".tabs");
+  if (!container) return;
+  
+  container.innerHTML = ""; // Clear existing/placeholder tabs
+
+  const panels = document.querySelectorAll(".panel");
+
+  const setActivePanel = (id) => {
+    panels.forEach((p) => p.classList.toggle("active", p.id === id));
+    
+    // Update buttons
+    const buttons = container.querySelectorAll(".tab");
+    buttons.forEach((btn) => btn.classList.toggle("active", btn.dataset.target === id));
+    
+    updateUrlParams({ tab: id });
+    publish("tab:change", id);
+  };
+
+  tabs.forEach(tab => {
+    const btn = document.createElement("button");
+    btn.className = "tab";
+    btn.dataset.target = tab.id;
+    btn.textContent = tab.label;
+    btn.addEventListener("click", () => setActivePanel(tab.id));
+    container.appendChild(btn);
+  });
+
+  const params = getUrlParams();
+  const requested = params.get("tab");
+  const initialTab = tabs.some((t) => t.id === requested)
+    ? requested
+    : tabs.some((t) => t.id === defaultTab)
+      ? defaultTab
+      : tabs[0]?.id;
+  if (initialTab) {
+    setActivePanel(initialTab);
+  } else if (tabs.length > 0) {
+    setActivePanel(tabs[0].id);
+  }
+}

codex_autorunner/static/terminal.js

@@ -0,0 +1,21 @@
+import { TerminalManager } from "./terminalManager.js";
+
+// Singleton instance of the terminal manager
+let terminalManager = null;
+
+export function getTerminalManager() {
+  return terminalManager;
+}
+
+/**
+ * Initialize the terminal panel.
+ * Creates a TerminalManager instance and initializes all terminal functionality.
+ */
+export function initTerminal() {
+  if (terminalManager) {
+    // Already initialized
+    return;
+  }
+  terminalManager = new TerminalManager();
+  terminalManager.init();
+}