# HG changeset patch # User Patrick PIERRE # Date 1363462936 -3600 # Node ID af222772225f07b1ddb348e081d5f12cc10c9970 # Parent cc8a32283e9d70b2067d64d214ed3933f69d56d9 Nouvel version des hotspots diff -r cc8a32283e9d -r af222772225f RelaxNG/Examples/Documents/torture_test.xml --- a/RelaxNG/Examples/Documents/torture_test.xml ven. mars 15 08:51:12 2013 +0100 +++ b/RelaxNG/Examples/Documents/torture_test.xml sam. mars 16 20:42:16 2013 +0100 @@ -505,7 +505,7 @@ Émile BAYARD - + @@ -530,9 +530,15 @@

- - - + +

Directionnel

+
+ +

Compte-tours

+
+ + + Robin DR-400, F-GCRU.
diff -r cc8a32283e9d -r af222772225f RelaxNG/publidoc.rnc --- a/RelaxNG/publidoc.rnc ven. mars 15 08:51:12 2013 +0100 +++ b/RelaxNG/publidoc.rnc sam. mars 16 20:42:16 2013 +0100 @@ -375,19 +375,16 @@ hotspot.attributes = x.attribute & y.attribute - & dx.attribute? - & dy.attribute? - & (width.attribute & height.attribute)? - & hidden.attribute? + & w.attribute + & h.attribute + & (hotspot.type.attribute & dx.attribute? & dy.attribute?)? x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } +w.attribute = attribute w { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } +h.attribute = attribute h { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } +hotspot.type.attribute = attribute type { "pulse" | "border" } dx.attribute = attribute dx { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} } dy.attribute = attribute dy { xsd:token {pattern = "-?\d{1,2}(\.\d)?"} } -width.attribute = attribute width { - xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } -height.attribute = attribute height { - xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} } -hidden.attribute = attribute hidden { xsd:boolean } hotspot.content = (p | link | image | audio | video)