diff options
Diffstat (limited to 'play.js')
-rw-r--r-- | play.js | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -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") |