Update default styling for labels (#415)

tortmayr · web-flow · commit eb8bbca3ab0d · 2025-02-21T14:14:09.000+01:00
Set `user-select` to none to avoid blinking cursors and/or other
indication for text selection when clicking on labels.
(Default document text selection of svg text elements is not working
anyways)
diff --git a/examples/workflow-glsp/css/diagram.css b/examples/workflow-glsp/css/diagram.css
@@ -36,6 +36,7 @@
     font-weight: inherit;
     text-align: inherit;
     font-size: 100%;
+    user-select: none;
 }
 
 .sprotty-label.heading {

Original file line number	Diff line number	Diff line change
`@@ -36,6 +36,7 @@`
`36`	`36`	`font-weight: inherit;`
`37`	`37`	`text-align: inherit;`
`38`	`38`	`font-size: 100%;`
	`39`	`+ user-select: none;`
`39`	`40`	`}`
`40`	`41`
`41`	`42`	`.sprotty-label.heading {`