copy files

2023-08-05 12:12:18 +00:00
parent 421d75f665
commit b88fdf85e1
66 changed files with 3852 additions and 5 deletions
@@ -0,0 +1,10 @@
+/** @deprecated */
+export function scrollHardTo(elementId: string): void {
+    const element = document.getElementById(elementId);
+    if(!element){
+        return;
+    }
+    element.scrollIntoView({
+        behavior: 'auto',
+    });
+  }