Function setAttr

deployments/desktop/static/desktop.js:1263–1266

(selector, attr, value)

  }

  function setAttr(selector, attr, value) {
    const element = document.querySelector(selector);
    if (element) element.setAttribute(attr, value);
  }

  function updatePageTitle() {
    const viewId = state.currentView || document.querySelector(".view.active")?.id || "papers";