# HG changeset patch
# User Edouard Tisserant
# Date 1606311985 -3600
# Node ID 82312473d153c2ec6b654e1d56319de7cb56c886
# Parent  f1efd1c01991d8acdd56e9506d553efddbd562e6
SVGHMI: prevents text and svg elements selection on the whole page when dragging.

diff -r f1efd1c01991 -r 82312473d153 svghmi/gen_index_xhtml.ysl2
--- a/svghmi/gen_index_xhtml.ysl2	Wed Nov 25 14:45:01 2020 +0100
+++ b/svghmi/gen_index_xhtml.ysl2	Wed Nov 25 14:46:25 2020 +0100
@@ -66,7 +66,7 @@
              xmlns:svg="http://www.w3.org/2000/svg"
              xmlns:xlink="http://www.w3.org/1999/xlink" {
             head;
-            body style="margin:0;overflow:hidden;" {
+            body style="margin:0;overflow:hidden;user-select:none;" {
                 // Inline SVG
                 copy "$result_svg";
                 script{