HomerandClaude Opus 5.5
5eff067e75
ci / check (push) Failing after 3s
- Linux: Tauri packs a window's webviews into one GTK box with equal shares and ignores their bounds, so the title bar took half the window. The title bar webview now has a fixed height and no share; the box's border is the resize frame (none when maximized). - tauri-plugin-updater: checks llembas.eu/desktop/latest.json at start and every 6 h, an update button in the title bar and menu entries, .deb via pkexec, AppImage in place, then restart. Packages signed with the updater's minisign key; requireSignedVersion on. scripts/publish-update.sh signs a GitHub release and writes the manifest. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
55 lines
1.9 KiB
JavaScript
55 lines
1.9 KiB
JavaScript
// The title bar. Moving and double-click maximising come from `data-tauri-drag-region`; the
|
|
// buttons call the window directly; the menu and the agent pill open the app's native menu (the
|
|
// tray's items), which can reach past this 36-pixel-high page.
|
|
"use strict"
|
|
|
|
const { invoke } = window.__TAURI__.core
|
|
const { listen } = window.__TAURI__.event
|
|
const win = window.__TAURI__.window.getCurrentWindow()
|
|
|
|
const $ = (id) => document.getElementById(id)
|
|
|
|
const WORDS = {
|
|
off: "agent off",
|
|
not_linked: "not linked",
|
|
starting: "agent starting…",
|
|
running: "agent running",
|
|
elsewhere: "agent running (service)",
|
|
failed: "agent stopped",
|
|
}
|
|
|
|
function render(s) {
|
|
let host = ""
|
|
try {
|
|
host = s.server ? new URL(s.server).host : ""
|
|
} catch {}
|
|
$("host").textContent = host
|
|
$("host").title = s.server || ""
|
|
const state = s.agent.state
|
|
$("agent").dataset.state = state
|
|
$("agent-text").textContent = WORDS[state] ?? state
|
|
$("agent").title = state === "failed" ? `Agent stopped: ${s.agent.detail}` : "Agent"
|
|
$("update").hidden = !s.update
|
|
$("update").textContent = s.update ? `update ${s.update}` : "update"
|
|
$("update").title = s.update ? `LLeMbas ${s.update} is available (this is ${s.version})` : ""
|
|
}
|
|
|
|
function maximized(on) {
|
|
const b = $("maximize")
|
|
b.toggleAttribute("data-maximized", on)
|
|
b.setAttribute("aria-label", on ? "Restore" : "Maximise")
|
|
b.title = on ? "Restore" : "Maximise"
|
|
}
|
|
|
|
$("minimize").addEventListener("click", () => win.minimize())
|
|
$("maximize").addEventListener("click", () => win.toggleMaximize())
|
|
$("close").addEventListener("click", () => win.close())
|
|
$("update").addEventListener("click", () => invoke("update_app"))
|
|
$("menu").addEventListener("click", () => invoke("titlebar_menu"))
|
|
$("agent").addEventListener("click", () => invoke("titlebar_menu"))
|
|
|
|
listen("status", (e) => render(e.payload))
|
|
listen("maximized", (e) => maximized(!!e.payload))
|
|
invoke("get_status").then(render)
|
|
win.isMaximized().then(maximized)
|