Commit d0282a5ed5729f53bc32ee7f360616ae6df11471

Authored by David RENÉ
1 parent 2363ce42

add helper for Int in html text with only one CoreAttrs

Showing 1 changed file with 5 additions and 7 deletions   Show diff stats
web/CXM_making_a_web_site.anubis
... ... @@ -1616,10 +1616,7 @@ public define HTML_Head_Tag
1616 1616 js_inline(script("text/javascript", script_content))
1617 1617 .
1618 1618 /* Label with help */
1619   -
1620   -
1621 1619  
1622   -
1623 1620  
1624 1621 public define HTML_tooltip
1625 1622 html_tooltip
... ... @@ -2065,10 +2062,11 @@ public type HTML_Off_Form:
2065 2062  
2066 2063 'HTML_Off_Form' defines all the elements you may put outside any form.
2067 2064  
2068   -public define HTML_Off_Form text(List(CoreAttrs) lto, Int i) = text(lto, to_decimal(i)).
2069   -public define HTML_Off_Form text(Int i) = text([], i).
2070   -public define HTML_Off_Form text(String s) = text([], s).
2071   -public define HTML_Off_Form text(CoreAttrs attr, String s) = text([attr], s).
  2065 +public define HTML_Off_Form text(List(CoreAttrs) attrs, Int i) = text(attrs, i).
  2066 +public define HTML_Off_Form text(CoreAttrs attr, Int i) = text([attr], i).
  2067 +public define HTML_Off_Form text(Int i) = text([], i).
  2068 +public define HTML_Off_Form text(String s) = text([], s).
  2069 +public define HTML_Off_Form text(CoreAttrs attr, String s) = text([attr], s).
2072 2070  
2073 2071 public define HTML_Off_Form a(A_href _href) = a([], _href, _self, []).
2074 2072 public define HTML_Off_Form a(List(CoreAttrs) attrs, A_href _href) = a(attrs, _href, _self, []).
... ...