Function updatePageTitle

deployments/desktop/static/desktop.js:1268–1273

()

  }

  function updatePageTitle() {
    const viewId = state.currentView || document.querySelector(".view.active")?.id || "papers";
    const view = ui().views[viewId] || ui().views.papers;
    if ($("pageTitle")) $("pageTitle").textContent = view.title;
    if ($("pageKicker")) $("pageKicker").textContent = view.kicker;
  }

  function applyLocale() {
    const text = ui();