gs_index: fixedHead scrolling

parkchamchi · Oct 17, 2024 · 42402c7 · 42402c7
1 parent e003c9f
commit 42402c7
Showing 1 changed file with 12 additions and 2 deletions.
diff --git a/src/backend/gs_index/src/components/Corpus.vue b/src/backend/gs_index/src/components/Corpus.vue
@@ -84,6 +84,11 @@
 					sharedState.currentOpenCorpus = "";
 				else
 					sharedState.currentOpenCorpus = this.corpus_id;
+
+				if (this.fixedHeader) {
+					this.fixedHeader = false;
+					setTimeout(() => this.scrollToOriginalHeader(), 500);
+				}
 			},
 			download() {
 				const json = JSON.stringify(this.corpus);
@@ -232,7 +237,6 @@
 					timeout = setTimeout(() => func.apply(this, args), wait);
 				};
 			},
-
 			handleIntersection(entries) {
 				entries.forEach((entry) => 
 					this.fixedHeader = (
@@ -242,6 +246,12 @@
 					)
 				);
 			},
+			scrollToOriginalHeader() {
+				const headerElement = this.$refs.header;
+				headerElement.scrollIntoView({
+					behavior: 'smooth'
+				});
+			},
 
 			onAnnotateP(p_index) {
 				this.annotate([p_index]);
@@ -340,7 +350,7 @@
 		background-color: white;
 		z-index: 1000;
 
-		padding: 2%;
+		//padding: 2%;
 		border-bottom: 1px solid lightgray;
 	}
 </style>