From fbcd8dc23e2a1c590829634334c9e43637ac6ccc Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Thu, 22 Sep 2022 16:09:47 +0200 Subject: [PATCH] disable auto-scrolling ToC because it interferes with smoothscroll behaviour 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 --- Project.toml | 2 +- src/TableOfContents.jl | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index b67b6dfc..a1fe9a74 100644 --- a/Project.toml +++ b/Project.toml @@ -1,7 +1,7 @@ name = "PlutoUI" uuid = "7f904dfe-b85e-4ff6-b463-dae2292396a8" authors = ["Fons van der Plas "] -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 index e4d00568..d2369a26 100644 --- 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 } + */ }) } }