scroll_with_middle_mouse

1 files changed, 1 insertions, 2 deletions

diff --git a/play.js b/play.js
index 711e566..dbe4c19 100644
--- a/play.js
+++ b/play.js
@@ -1478,7 +1478,7 @@ function on_blur_space_tip(s) {
 }
 
 function on_click_space_tip(s) {
-	ui.spaces[s].scrollIntoView({ block:"center", inline:"center", behavior:"smooth" })
+	scroll_into_view(ui.spaces[s])
 }
 
 function sub_card(match, p1) {
@@ -1595,4 +1595,3 @@ toggle_zoom = function () {
 		document.getElementById("grid").classList.remove("fit")
 }
 
-scroll_with_middle_mouse("main")