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{