scroll_with_middle_mouse

2 files changed, 1 insertions, 3 deletions

diff --git a/play.css b/play.css
index ff8533a..805e94b 100644
--- a/play.css
+++ b/play.css
@@ -59,7 +59,6 @@ main { background-color: #777; }
 	height: 2550px;
 	background-repeat: no-repeat;
 	background-size: cover;
-	user-select: none;
 }
 
 #map { background-image: url("map75.jpg") }
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")