From 9cc3fcf8800751c2841134d4aca0e7af3478f3a3 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Sat, 21 Oct 2023 18:32:14 +0200
Subject: scroll_with_middle_mouse

---
 play.css | 1 -
 play.js  | 1 -
 2 files changed, 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")
-- 
cgit v1.2.3