Preserve cursor and selection across reloads.

2023-11-21 06:49:15 +00:00
parent 136d2c2421
commit ec9fda3586
3 changed files with 16 additions and 10 deletions
@@ -221,7 +221,7 @@ onMounted(() => {
  updateModified(); modifiedTimer = setInterval(updateModified, 1000)
  const active = document.querySelector('.cursor') as HTMLElement | null
  if (active) {
-    active.scrollIntoView({ block: 'center', behavior: 'smooth' })
+    active.scrollIntoView({ block: 'center', behavior: 'instant' })
    active.focus()
  }
 })