From b691b783a8bf1c285814244c2ab3b04271d477bb Mon Sep 17 00:00:00 2001 From: Tor Andersson Date: Sat, 21 Oct 2023 18:30:16 +0200 Subject: scroll_with_middle_mouse --- play.css | 1 - play.js | 3 +-- 2 files changed, 1 insertion(+), 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") -- cgit v1.2.3