From 2289c15d9e60de3ffaa12908389c6f833b5bd9c9 Mon Sep 17 00:00:00 2001
From: jaseg <git@jaseg.de>
Date: Sat, 26 Jul 2025 20:32:24 +0200
Subject: Fix text selection

---
 src/wsdiff.py | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

diff --git a/src/wsdiff.py b/src/wsdiff.py
index 442bf34..c42129d 100644
--- a/src/wsdiff.py
+++ b/src/wsdiff.py
@@ -231,6 +231,10 @@ MAIN_CSS = r'''
     .wsd-lineno.wsd-empty::after {
         content: "";
     }
+
+    .wsd-lineno, .wsd-left {
+        user-select: none;
+    }
 }
 
 @layer wsd-automatic-media-rule {
-- 
cgit