--- 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 }