From d0282a5ed5729f53bc32ee7f360616ae6df11471 Mon Sep 17 00:00:00 2001 From: totoro Date: Wed, 15 May 2019 16:02:12 +0900 Subject: [PATCH] add helper for Int in html text with only one CoreAttrs --- web/CXM_making_a_web_site.anubis | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/web/CXM_making_a_web_site.anubis b/web/CXM_making_a_web_site.anubis index 3244e0d..5c941a2 100644 --- a/web/CXM_making_a_web_site.anubis +++ b/web/CXM_making_a_web_site.anubis @@ -1616,10 +1616,7 @@ public define HTML_Head_Tag js_inline(script("text/javascript", script_content)) . /* Label with help */ - - - public define HTML_tooltip html_tooltip @@ -2065,10 +2062,11 @@ public type HTML_Off_Form: 'HTML_Off_Form' defines all the elements you may put outside any form. -public define HTML_Off_Form text(List(CoreAttrs) lto, Int i) = text(lto, to_decimal(i)). -public define HTML_Off_Form text(Int i) = text([], i). -public define HTML_Off_Form text(String s) = text([], s). -public define HTML_Off_Form text(CoreAttrs attr, String s) = text([attr], s). +public define HTML_Off_Form text(List(CoreAttrs) attrs, Int i) = text(attrs, i). +public define HTML_Off_Form text(CoreAttrs attr, Int i) = text([attr], i). +public define HTML_Off_Form text(Int i) = text([], i). +public define HTML_Off_Form text(String s) = text([], s). +public define HTML_Off_Form text(CoreAttrs attr, String s) = text([attr], s). public define HTML_Off_Form a(A_href _href) = a([], _href, _self, []). public define HTML_Off_Form a(List(CoreAttrs) attrs, A_href _href) = a(attrs, _href, _self, []). -- libgit2 0.21.4