diff options
| author | jaseg <git@jaseg.de> | 2025-07-26 20:32:24 +0200 |
|---|---|---|
| committer | jaseg <git@jaseg.de> | 2025-07-26 20:32:24 +0200 |
| commit | 2289c15d9e60de3ffaa12908389c6f833b5bd9c9 (patch) | |
| tree | 958d161d34323c695023c0697a9977173f68c89a /src | |
| parent | 10ab7b237ca9572efe449fe19862fef83e93f47b (diff) | |
| download | wsdiff-2289c15d9e60de3ffaa12908389c6f833b5bd9c9.tar.gz wsdiff-2289c15d9e60de3ffaa12908389c6f833b5bd9c9.tar.bz2 wsdiff-2289c15d9e60de3ffaa12908389c6f833b5bd9c9.zip | |
Fix text selection
Diffstat (limited to 'src')
| -rw-r--r-- | src/wsdiff.py | 4 |
1 files changed, 4 insertions, 0 deletions
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 { |