disable auto-scrolling ToC because it interferes with smoothscroll be…

…haviour like clicking on Pluto's progress bar to jump to the currently running cell This smoothscroll gets cancelled by the scroll event that we trigger with the toc
JuliaPluto · Sep 22, 2022 · fbcd8dc · fbcd8dc · fonsp · Sep 22, 2022
1 parent e9f8e13
commit fbcd8dc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "PlutoUI"
 uuid = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
 authors = ["Fons van der Plas <[email protected]>"]
-version = "0.7.42"
+version = "0.7.43"
 
 [deps]
 AbstractPlutoDingetjes = "6e696c72-6542-2067-7265-42206c756150"

diff --git a/src/TableOfContents.jl b/src/TableOfContents.jl
@@ -118,6 +118,7 @@ const intersection_callback = (ixs) => {
 			currently_highlighted_set.add(div)
 			
 			/// scroll into view
+			/*
 			const toc_height = tocNode.offsetHeight
 			const div_pos = div.offsetTop
 			const div_height = div.offsetHeight
@@ -134,6 +135,7 @@ const intersection_callback = (ixs) => {
 				} else if(current_scroll > scroll_to_top){
 					tocNode.scrollTop = scroll_to_top
 				}
+			*/
 		})
 	}
 }