Commit 62e2033025d530d0b8b40c827e545656f41c3935
1 parent
7158a6c4
helper for href with only one extra operand
Showing
1 changed file
with
9 additions
and
0 deletions
Show diff stats
web/types/making_a_web_site.anubis
| @@ -408,6 +408,15 @@ public type A_href: | @@ -408,6 +408,15 @@ public type A_href: | ||
| 408 | href(WEB_Action_Name action, List((String,String)) extra_ops) | 408 | href(WEB_Action_Name action, List((String,String)) extra_ops) |
| 409 | . | 409 | . |
| 410 | 410 | ||
| 411 | +public define A_href | ||
| 412 | + href | ||
| 413 | + ( | ||
| 414 | + WEB_Action_Name action, | ||
| 415 | + (String,String) extra_ops | ||
| 416 | + )= | ||
| 417 | + href(action, [extra_ops]) | ||
| 418 | +. | ||
| 419 | + | ||
| 411 | public type A_target: | 420 | public type A_target: |
| 412 | _blank, | 421 | _blank, |
| 413 | _self, | 422 | _self, |