RelaxNG/publiquiz.rnc
changeset 478 90e0fdca7fb7
parent 476 6c30a3543cd8
child 479 5061282c7396
--- a/RelaxNG/publiquiz.rnc	ven. févr. 08 13:20:42 2019 +0100
+++ b/RelaxNG/publiquiz.rnc	mer. août 14 20:01:39 2019 +0200
@@ -169,7 +169,8 @@
 orientation.attribute = attribute orientation {"north"|"east"|"west"|"south"}
 
 blanks-fill.content =
-    (blanks.block+ | blanks.section+)
+    (blanks.block+ | blanks.section+),
+    keyboard
 blanks-select.content =
     blanks.intruders?,
     (blanks.block+ | blanks.section+)
@@ -463,6 +464,19 @@
     help?,
     answer?
 
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ keyboard ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+# ~~~~~~ keyboard
+keyboard = element keyboard { keyboard.content }
+
+keyboard.content =
+    keyboard.key+
+
+# ~~~~~~ keyboard.key
+keyboard.key = element key { keyboard.key.content }
+
+keyboard.key.content = xsd:token {pattern = "."}
+
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ help ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 help = element help { help.content }