Commit 5fa75fec06d4bedc0b6a77bd32c7f97366fe6dc9

Authored by Cédric RICARD
1 parent 3d904527

Added CoreAttrib to Body_Option type

Showing 1 changed file with 3 additions and 1 deletions   Show diff stats
calexium_lib/web/CXM_making_a_web_site.anubis
... ... @@ -1453,6 +1453,7 @@ public type HTML_Meta:
1453 1453  
1454 1454  
1455 1455 public type Body_Option:
  1456 + core_attrs(List(CoreAttrs)),
1456 1457 background_color (RGB),
1457 1458 background_image (String url),
1458 1459 background_image (String url, List(BackgroundOption)).
... ... @@ -4139,9 +4140,10 @@ define Printable_tree
4139 4140 ) =
4140 4141 if o is
4141 4142 {
  4143 + core_attrs(core_attr_list) then [" " + format_attrs(core_attr_list)],
4142 4144 background_color(c) then [" bgcolor=\"" , (String)html_format(c), "\""],
4143 4145 background_image(n) then [" background=", n],
4144   - background_image(n,o2) then [" style=\"background: url(",n,")",format(o2),"\""]
  4146 + background_image(n,o2) then [" style=\"background: url(",n,")",format(o2),"\""]
4145 4147  
4146 4148 }.
4147 4149  
... ...