Work around broken focus/preventScroll support in Safari 26

FIX: Work around an issue in Safari 26 that causes inappropriate scrolling
on focus in some circumstances.

Closes codemirror/dev#1626

Author: marijnh

src/browser.ts

@@ -24,7 +24,8 @@ export default {
   ios,
   android: /Android\b/.test(nav.userAgent),
   webkit,
-  safari,
   webkit_version: webkit ? +(/\bAppleWebKit\/(\d+)/.exec(nav.userAgent) || [0, 0])[1] : 0,
+  safari,
+  safari_version: safari ? +(/\bVersion\/(\d+(\.\d+)?)/.exec(nav.userAgent) || [0, 0])[1] : 0,
   tabSize: doc.documentElement.style.tabSize != null ? "tab-size" : "-moz-tab-size"
 }

src/dom.ts

@@ -1,3 +1,5 @@
+import browser from "./browser"
+
 export function getSelection(root: DocumentOrShadowRoot): Selection | null {
   let target
   // Browsers differ on whether shadow roots have a getSelection
@@ -254,6 +256,8 @@ export class DOMSelectionState implements SelectionRange {
 }
 
 let preventScrollSupported: null | false | {preventScroll: boolean} = null
+// Safari 26 breaks preventScroll support
+if (browser.safari && browser.safari_version >= 26) preventScrollSupported = false
 // Feature-detects support for .focus({preventScroll: true}), and uses
 // a fallback kludge when not supported.
 export function focusPreventScroll(dom: HTMLElement) {