jaseg/wsdiff
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix text selection

Browse source
This commit is contained in:
jaseg 2025-07-26 20:32:24 +02:00
parent 10ab7b237c
commit 2289c15d9e
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/wsdiff.py
View file

@ -231,6 +231,10 @@ MAIN_CSS = r'''
.wsd-lineno.wsd-empty::after { .wsd-lineno.wsd-empty::after {
content: ""; content: "";
} }
.wsd-lineno, .wsd-left {
user-select: none;
}
} }
@layer wsd-automatic-media-rule { @layer wsd-automatic-media-rule {