scroll_with_middle_mouse

2 files changed, 0 insertions, 2 deletions

diff --git a/play.css b/play.css
index e6ec614..9045a22 100644
--- a/play.css
+++ b/play.css
@@ -688,7 +688,6 @@ body.tint .legion.reduced {
 
 .panel_header {
 	color: white;
-	user-select: none;
 	font-weight: bold;
 	text-align: center;
 	padding: 3px 1em;
diff --git a/play.js b/play.js
index 51e95ec..87d7a58 100644
--- a/play.js
+++ b/play.js
@@ -1776,4 +1776,3 @@ function toggle_tint() {
 }
 
 on_init()
-scroll_with_middle_mouse("main")