# HG changeset patch # User Edouard Tisserant # Date 1568979538 -7200 # Node ID 5ee6967f721d92cadebc39edfe6a135cbd3c21d1 # Parent 723e420dfe721f230c06e409b34b1dd40db62225 SVGHMI: Starting to define JS side more in details. diff -r 723e420dfe72 -r 5ee6967f721d svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Thu Sep 19 15:32:36 2019 +0200 +++ b/svghmi/gen_index_xhtml.xslt Fri Sep 20 13:38:58 2019 +0200 @@ -26,13 +26,25 @@