Commit dae3d2288c29ae88f2d69b2b50e70c37012ece19
1 parent
16555932
[+] create CoreAttrs size(Int value)
Showing
1 changed file
with
1 additions
and
0 deletions
Show diff stats
web/types/making_a_web_site.anubis
| @@ -578,6 +578,7 @@ public define CoreAttrs height(Int value) = attr("height", to_String(value) | @@ -578,6 +578,7 @@ public define CoreAttrs height(Int value) = attr("height", to_String(value) | ||
| 578 | public define CoreAttrs width_px(Int value) = attr("width", to_String(value)+"px"). | 578 | public define CoreAttrs width_px(Int value) = attr("width", to_String(value)+"px"). |
| 579 | public define CoreAttrs height_px(Int value) = attr("height", to_String(value)+"px"). | 579 | public define CoreAttrs height_px(Int value) = attr("height", to_String(value)+"px"). |
| 580 | public define CoreAttrs alt(String value) = attr("alt", value). | 580 | public define CoreAttrs alt(String value) = attr("alt", value). |
| 581 | +public define CoreAttrs size(Int value) = attr("size", to_String(value)). | ||
| 581 | 582 | ||
| 582 | public define CoreAttrs for(String value) = attr("for", value). | 583 | public define CoreAttrs for(String value) = attr("for", value). |
| 583 | public define CoreAttrs placeholder(String value) = attr("placeholder", value). | 584 | public define CoreAttrs placeholder(String value) = attr("placeholder", value). |