scroll_with_middle_mouse and scroll_into_view

1 files changed, 1 insertions, 2 deletions

diff --git a/play.js b/play.js
index 882fece..4a6fe70 100644
--- a/play.js
+++ b/play.js
@@ -296,7 +296,7 @@ function on_blur_space_tip(s) {
 }
 
 function on_click_space_tip(s) {
-	ui.space_list[s].scrollIntoView({ block:"center", inline:"center", behavior:"smooth" })
+	scroll_into_view(ui.space_list[s])
 }
 
 function on_log_line(text, cn) {
@@ -1575,4 +1575,3 @@ function on_update() {
 
 drag_element_with_mouse("#removed", "#removed_header")
 drag_element_with_mouse("#discard", "#discard_header")
-scroll_with_middle_mouse("main")