]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/matrix.ml
- xhtbl: support for relative links added
[helm.git] / helm / www / lambdadelta / bin / xhtbl / matrix.ml
index 4769a54574886ab91c35ba3d0db2aaf558ceef42..62f6b194e73d35e54b64e19ce6769cd16b23f920 100644 (file)
@@ -1,10 +1,13 @@
 module A = Array
+module N = Filename
 
 module T = Table
 
 type cell = {
-   ck: string list; (* contents *)
+   ck: T.text list; (* contents *)
    cc: T.css;       (* css classes *)
+   cu: T.uri;       (* uri *)
+   cx: T.ext;       (* extension *)   
    cb: T.border;    (* border *)
 }
 
@@ -15,7 +18,7 @@ type matrix = {
 }
 
 let empty = {
-   ck = []; cc = []; cb = T.border false;
+   ck = []; cc = []; cu = ""; cx = ""; cb = T.border false;
 }
 
 let make ts = {
@@ -26,8 +29,12 @@ let make ts = {
 let set_key m y x kl = 
    m.m.(y).(x) <- {m.m.(y).(x) with ck = kl}
 
-let set_css m y x c = 
-   m.m.(y).(x) <- {m.m.(y).(x) with cc = c @ m.m.(y).(x).cc}
+let set_attrs m y x c u e = 
+   m.m.(y).(x) <- {m.m.(y).(x) with
+      cc = c @ m.m.(y).(x).cc;
+      cu = u ^ m.m.(y).(x).cu;
+      cx = m.m.(y).(x).cx ^ e;
+   }
 
 let set_west m y x b =
    let c = m.m.(y).(x) in