diff --git a/Project.toml b/Project.toml index 3919ba4c..0150d8af 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.7" +version = "0.7.8" [deps] Base64 = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f" diff --git a/src/Scrubbable.jl b/src/Scrubbable.jl index 1763b742..042e136f 100644 --- a/src/Scrubbable.jl +++ b/src/Scrubbable.jl @@ -281,6 +281,7 @@ begin } const onpointerdown = (e) => { + window.getSelection().empty() old_x = e.clientX old_index = current_index window.addEventListener("pointermove", onScrub)