diff -r 3ef217f525ff -r 3f5194bba67d svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Thu Mar 26 11:17:34 2020 +0100 +++ b/svghmi/gen_index_xhtml.xslt Thu Mar 26 13:33:20 2020 +0100 @@ -147,6 +147,13 @@ + + + + + + + @@ -332,8 +339,9 @@ - - + + + " @@ -384,7 +392,7 @@ absolute_widgets: [ - + hmi_widgets[" "] @@ -412,6 +420,9 @@ } + + + } , @@ -419,6 +430,7 @@ + DETACHABLES: @@ -891,6 +903,44 @@ }, + + + + + + + + + + + + + + + + + + + + + + + + + + Jump id=" + + " to page " + + " with incompatible path " + + (must be same class as " + + ") + + + + frequency: 10,