ui:ADD pad_id to tab name in browser #36
This commit is contained in:
parent
dba602e698
commit
e8aaceb86c
1 changed files with 3 additions and 0 deletions
3
app.py
3
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;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue