From da2bb2de876e0098c69492c45a257168e1b40c49 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Sat, 21 Oct 2023 18:31:41 +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 69eaff1..5ab9bd6 100644
--- a/play.css
+++ b/play.css
@@ -69,7 +69,6 @@ body.censorship #hand_panel { min-width: 1370px; }
 .panel_header {
 	background-color: #444;
 	color: hsl(40, 60%, 90%);
-	user-select: none;
 	font-weight: bold;
 	text-align: center;
 	padding: 3px 1em;
diff --git a/play.js b/play.js
index 47d1418..79aec26 100644
--- a/play.js
+++ b/play.js
@@ -619,4 +619,3 @@ function on_update() {
 }
 
 build_user_interface()
-scroll_with_middle_mouse("main")
-- 
cgit v1.2.3