Fix Scrubbable selection glitches

JuliaPluto · Apr 30, 2021 · cf8f6c0 · cf8f6c0 · fonsp · Apr 30, 2021
1 parent 111c18e
commit cf8f6c0
Show file tree

Hide file tree

Showing 2 changed files with 2 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.7"
+version = "0.7.8"
 
 [deps]
 Base64 = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"

diff --git 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)