scroll_with_middle_mouse and scroll_into_view

2 files changed, 3 insertions, 5 deletions

diff --git a/play.css b/play.css
index f962a13..e1fabe8 100644
--- a/play.css
+++ b/play.css
@@ -50,7 +50,6 @@ header.your_turn { background-color: orange; }
 .panel_header {
 	background-color: #444;
 	color: white;
-	user-select: none;
 	font-weight: bold;
 	text-align: center;
 	padding: 3px 1em;
diff --git a/play.js b/play.js
index 2c364aa..14afb6d 100644
--- a/play.js
+++ b/play.js
@@ -1824,7 +1824,7 @@ function on_blur_locale_tip(loc) {
 }
 
 function on_click_locale_tip(loc) {
-	ui.locale[loc].scrollIntoView({ block:"center", inline:"center", behavior:"smooth" })
+	scroll_into_view(ui.locale[loc])
 }
 
 function on_focus_way_tip(way) {
@@ -1836,11 +1836,11 @@ function on_blur_way_tip(way) {
 }
 
 function on_click_way_tip(way) {
-	ui.ways[way].scrollIntoView({ block:"center", inline:"center", behavior:"smooth" })
+	scroll_into_view(ui.ways[way])
 }
 
 function on_click_lord_tip(lord) {
-	ui.lord_mat[lord].scrollIntoView({ block:"center", inline:"center", behavior:"smooth" })
+	scroll_into_view(ui.lord_mat[lord])
 }
 
 function sub_locale_name(match, p1) {
@@ -1940,4 +1940,3 @@ function pack4_get(word, n) {
 }
 
 build_map()
-scroll_with_middle_mouse("main")