From e8aaceb86cb2b3e6eb0256fdf34c0a5c2c758289 Mon Sep 17 00:00:00 2001 From: CaffeineFueled Date: Fri, 4 Sep 2026 10:15:20 +0200 Subject: [PATCH] ui:ADD pad_id to tab name in browser #36 --- app.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/app.py b/app.py index af5bd19..0b84ac3 100644 --- a/app.py +++ b/app.py @@ -465,6 +465,9 @@ let docId = decodeURIComponent(location.pathname.replace(/(^\\/|\\/$)/g, "")); if (!docId) { location.replace("/" + rand() + "/"); } $("#padname").textContent = "/"+docId+"/"; +// Set client-side rather than server-side: the pad page is one shared HTML constant, +// so interpolating per request would mean rebuilding it on every hit. +document.title = docId + " - aukpad"; let ws, ver = 0, clientId = Math.random().toString(36).slice(2), debounce; let isProtected = false, isAuthed = false;