# 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
-
+
+ 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)