diff -r 99ce78ddd353 -r 76c0c0a524c9 svghmi/gen_index_xhtml.xslt --- a/svghmi/gen_index_xhtml.xslt Sun Feb 21 21:38:44 2021 +0100 +++ b/svghmi/gen_index_xhtml.xslt Mon Feb 22 10:08:36 2021 +0100 @@ -19,6 +19,7 @@ + /* @@ -61,6 +62,7 @@ + @@ -278,6 +280,7 @@ + /* @@ -302,10 +305,12 @@ + + /* @@ -332,6 +337,7 @@ + @@ -407,6 +413,7 @@ + /* @@ -423,6 +430,7 @@ + @@ -482,6 +490,7 @@ + /* @@ -512,6 +521,7 @@ + @@ -627,6 +637,7 @@ + /* @@ -644,10 +655,12 @@ + + /* @@ -676,6 +689,7 @@ + @@ -895,6 +909,7 @@ + /* @@ -911,9 +926,11 @@ + + /* @@ -940,6 +957,7 @@ + @@ -965,6 +983,7 @@ + /* @@ -1027,6 +1046,7 @@ + @@ -1129,6 +1149,7 @@ + /* @@ -1272,9 +1293,11 @@ + + /* @@ -1669,11 +1692,13 @@ + + /* @@ -1686,6 +1711,7 @@ + class @@ -1703,6 +1729,7 @@ + /* @@ -1718,6 +1745,7 @@ + @@ -2967,6 +2995,7 @@ + /* @@ -3443,6 +3472,7 @@ + function numb_event(e) { @@ -5153,6 +5183,7 @@ + /* @@ -5179,9 +5210,11 @@ + + /* @@ -5214,6 +5247,7 @@ + class KeypadWidget extends Widget{