diff -r ed43facc7137 -r d7b009e49e87 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Thu Aug 27 09:59:35 2020 +0200 +++ b/svghmi/gen_index_xhtml.xslt Thu Aug 27 14:34:00 2020 +0200 @@ -3587,10 +3587,22 @@ + + + + + + + + + + + + - + @@ -3598,6 +3610,7 @@ + obj_ @@ -3648,8 +3661,7 @@ "); - - + @@ -3692,7 +3704,7 @@ console.log(range,position,jdata); - +