Anubis / Xlib

Commit 94683f0af9b1c2ba45d19099a98726b65bb53e40

Authored by Cédric RICARD
1 parent e281d82e

Adding simple foreign_link

Showing 1 changed file with 10 additions and 0 deletions   Show diff stats
Inline Side-by-side
calexium_lib/web/CXM_making_a_web_site.anubis
  Show/Hide comments   View file @94683f0
@@ -875,6 +875,7 @@ public type HTML_In_Form: @@ -875,6 +875,7 @@ public type HTML_In_Form:
875 actioner (Actioner_Connection, Actioner_Target, Actioner_Aspect, 875 actioner (Actioner_Connection, Actioner_Target, Actioner_Aspect,
876 String action_name, List((String,String)) extra_ops, 876 String action_name, List((String,String)) extra_ops,
877 List(Actioner_Local_Action)), 877 List(Actioner_Local_Action)),
  878 + foreign_link (List(Text_Option), String url),
878 foreign_link (List(Text_Option), String url, String name), 879 foreign_link (List(Text_Option), String url, String name),
879 private_download (String abs_path, String name, String extra_ext, 880 private_download (String abs_path, String name, String extra_ext,
880 Maybe((String,List((String,String)))) action), 881 Maybe((String,List((String,String)))) action),
@@ -1009,6 +1010,7 @@ public type HTML_Off_Form: @@ -1009,6 +1010,7 @@ public type HTML_Off_Form:
1009 actioner (Actioner_Connection, Actioner_Target, Actioner_Aspect, 1010 actioner (Actioner_Connection, Actioner_Target, Actioner_Aspect,
1010 String action_name, List((String,String)) extra_ops, 1011 String action_name, List((String,String)) extra_ops,
1011 List(Actioner_Local_Action), String form_name), 1012 List(Actioner_Local_Action), String form_name),
  1013 + foreign_link (List(Text_Option), String url),
1012 foreign_link (List(Text_Option), String url, String name), 1014 foreign_link (List(Text_Option), String url, String name),
1013 private_download (String abs_path, String name, String extra_ext, 1015 private_download (String abs_path, String name, String extra_ext,
1014 Maybe((String,List((String,String)))) action), 1016 Maybe((String,List((String,String)))) action),
@@ -2231,6 +2233,7 @@ type HTML_Any($T): @@ -2231,6 +2233,7 @@ type HTML_Any($T):
2231 List((String,String)) extra_ops, 2233 List((String,String)) extra_ops,
2232 List(Actioner_Local_Action), 2234 List(Actioner_Local_Action),
2233 Maybe(String) form_name), 2235 Maybe(String) form_name),
  2236 + any_foreign_link (List(Text_Option), String url),
2234 any_foreign_link (List(Text_Option), String url, String name), 2237 any_foreign_link (List(Text_Option), String url, String name),
2235 any_private_download (String abs_path, String name, String extra_ext, 2238 any_private_download (String abs_path, String name, String extra_ext,
2236 Maybe((String,List((String,String))))), 2239 Maybe((String,List((String,String))))),
@@ -3428,6 +3431,8 @@ define Printable_tree @@ -3428,6 +3431,8 @@ define Printable_tree
3428 "</object>"], 3431 "</object>"],
3429 any_actioner(c,t,a,an,eo,ja,fn) then 3432 any_actioner(c,t,a,an,eo,ja,fn) then
3430 format_actioner(cinfo,sn,c,t,a,an,eo,ja,fn,is_https), 3433 format_actioner(cinfo,sn,c,t,a,an,eo,ja,fn,is_https),
  3434 + any_foreign_link(options,url) then
  3435 + ["<a href=\"",url,"\" ", format_text_options(options), " />"],
3431 any_foreign_link(options,url,name) then 3436 any_foreign_link(options,url,name) then
3432 ["<a href=\"",url,"\"><span ", format_text_options(options), ">",name,"</span></a>"], 3437 ["<a href=\"",url,"\"><span ", format_text_options(options), ">",name,"</span></a>"],
3433 any_private_download(url,name,extra_ext,action) then 3438 any_private_download(url,name,extra_ext,action) then
@@ -3486,6 +3491,8 @@ define Printable_tree @@ -3486,6 +3491,8 @@ define Printable_tree
3486 format(cinfo,sn,ic_v,any_scroller(w,h,cw,ch,c),format_element,is_https), 3491 format(cinfo,sn,ic_v,any_scroller(w,h,cw,ch,c),format_element,is_https),
3487 actioner(c,t,a,an,eo,ja) then 3492 actioner(c,t,a,an,eo,ja) then
3488 format(cinfo,sn,ic_v,any_actioner(c,t,a,an,eo,ja,success(fn)),format_element,is_https), 3493 format(cinfo,sn,ic_v,any_actioner(c,t,a,an,eo,ja,success(fn)),format_element,is_https),
  3494 + foreign_link(options,url) then
  3495 + format(cinfo,sn,ic_v,any_foreign_link(options,url),format_element,is_https),
3489 foreign_link(options,url,name) then 3496 foreign_link(options,url,name) then
3490 format(cinfo,sn,ic_v,any_foreign_link(options,url,name),format_element,is_https), 3497 format(cinfo,sn,ic_v,any_foreign_link(options,url,name),format_element,is_https),
3491 private_download(url,name,extra,action) then 3498 private_download(url,name,extra,action) then
@@ -3571,6 +3578,7 @@ define Bool @@ -3571,6 +3578,7 @@ define Bool
3571 mail_to(m,e) then false, // 'e' may but should not contain an upload 3578 mail_to(m,e) then false, // 'e' may but should not contain an upload
3572 scroller(w,h,cw,ch,e) then contains_an_upload(e), 3579 scroller(w,h,cw,ch,e) then contains_an_upload(e),
3573 actioner(c,t,a,an,eo,ja) then false, 3580 actioner(c,t,a,an,eo,ja) then false,
  3581 + foreign_link(o,u) then false,
3574 foreign_link(o,u,n) then false, 3582 foreign_link(o,u,n) then false,
3575 private_download(p,n,e,a) then false, 3583 private_download(p,n,e,a) then false,
3576 text_input(lt,l,n,i,w) then false, 3584 text_input(lt,l,n,i,w) then false,
@@ -3641,6 +3649,8 @@ define Printable_tree @@ -3641,6 +3649,8 @@ define Printable_tree
3641 format(cinfo,sn,ic_v,any_actioner(c,t,a,an,eo,ja,failure),format_element,is_https), 3649 format(cinfo,sn,ic_v,any_actioner(c,t,a,an,eo,ja,failure),format_element,is_https),
3642 actioner(c,t,a,an,eo,ja,fn) then 3650 actioner(c,t,a,an,eo,ja,fn) then
3643 format(cinfo,sn,ic_v,any_actioner(c,t,a,an,eo,ja,success(fn)),format_element,is_https), 3651 format(cinfo,sn,ic_v,any_actioner(c,t,a,an,eo,ja,success(fn)),format_element,is_https),
  3652 + foreign_link(options,url) then
  3653 + format(cinfo,sn,ic_v,any_foreign_link(options,url),format_element,is_https),
3644 foreign_link(options,url,name) then 3654 foreign_link(options,url,name) then
3645 format(cinfo,sn,ic_v,any_foreign_link(options,url,name),format_element,is_https), 3655 format(cinfo,sn,ic_v,any_foreign_link(options,url,name),format_element,is_https),
3646 private_download(url,name,extra,action) then 3656 private_download(url,name,extra,action) then