Page titles lead with the page: "Titles · bggpipe"
Cramped contexts (home-screen labels, narrow tab strips) truncate the tail of a title; "bggpipe — pipeline" lost the only distinctive word. The separator becomes a middle dot, which wraps cleanly where the em dash read as one glued token. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_016jXZFSTZQKzAC8fqpWSz9g
This commit is contained in:
co-authored by
Claude Fable 5
parent
bd1bc5e020
commit
0401c3351b
@@ -13,7 +13,7 @@
|
||||
const NAME = decodeURIComponent(location.pathname.split("/").pop());
|
||||
document.getElementById("photoname").textContent = NAME;
|
||||
document.getElementById("rawlink").href = `/photos/${encodeURIComponent(NAME)}`;
|
||||
document.title = `bggpipe — ${NAME}`;
|
||||
document.title = `${NAME} · bggpipe`;
|
||||
|
||||
function ticket(s) {
|
||||
return `
|
||||
|
||||
@@ -646,7 +646,9 @@ def create_app(
|
||||
for href, page, label, badge in NAV_PAGES
|
||||
)
|
||||
return (
|
||||
shell.replace("<!--TITLE-->", f"bggpipe — {name}")
|
||||
# page name first: cramped contexts (home-screen labels, tab
|
||||
# strips) truncate the tail, which should be the redundant part
|
||||
shell.replace("<!--TITLE-->", f"{name.capitalize()} · bggpipe")
|
||||
.replace("<!--NAV-->", nav)
|
||||
.replace("<!--PAGE-->", fragment)
|
||||
)
|
||||
|
||||
Reference in New Issue
Block a user