From b8df4a436eebe741a0ab7852e4df317f862e947b Mon Sep 17 00:00:00 2001
From: oobabooga <112222186+oobabooga@users.noreply.github.com>
Date: Sun, 13 Aug 2023 18:48:15 -0700
Subject: [PATCH] Scroll up when switching tabs

---
 js/switch_tabs.js | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/js/switch_tabs.js b/js/switch_tabs.js
index ed6c653d..56279193 100644
--- a/js/switch_tabs.js
+++ b/js/switch_tabs.js
@@ -1,19 +1,29 @@
 let chat_tab = document.getElementById('chat-tab');
 let main_parent = chat_tab.parentNode;
 
+function scrollToTop() {
+    window.scrollTo({
+        top: 0,
+        // behavior: 'smooth'
+    });
+}
+
 function switch_to_chat() {
     let chat_tab_button = main_parent.childNodes[0].childNodes[1];
     chat_tab_button.click();
+    scrollToTop();
 }
 
 function switch_to_default() {
     let default_tab_button = main_parent.childNodes[0].childNodes[4];
     default_tab_button.click();
+    scrollToTop();
 }
 
 function switch_to_notebook() {
     let notebook_tab_button = main_parent.childNodes[0].childNodes[7];
     notebook_tab_button.click();
+    scrollToTop();
 }
 
 function switch_to_generation_parameters() {
@@ -21,6 +31,7 @@ function switch_to_generation_parameters() {
     let generation_tab_button = document.getElementById('character-menu').parentNode.parentNode.parentNode.parentNode.parentNode.parentNode.childNodes[0].childNodes[1];
     parameters_tab_button.click();
     generation_tab_button.click();
+    scrollToTop();
 }
 
 function switch_to_character() {
@@ -28,4 +39,5 @@ function switch_to_character() {
     let character_tab_button = document.getElementById('character-menu').parentNode.parentNode.parentNode.parentNode.parentNode.parentNode.childNodes[0].childNodes[4];
     parameters_tab_button.click();
     character_tab_button.click();
+    scrollToTop();
 }