summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-07 13:09:26 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-07 13:09:26 -0400
commit51fd5b1af6b2af7706c0c8604129d99e504a2d36 (patch)
treedc6203b3be07a7d45f5f17b9339405eca54deadf /lib
parentbefe86e703563f4f9ce8b8b0e36ae19e84b0ca8b (diff)
Checkboxes
Diffstat (limited to 'lib')
-rw-r--r--lib/basis.lig2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/basis.lig b/lib/basis.lig
index 72a8ddf8..7c934780 100644
--- a/lib/basis.lig
+++ b/lib/basis.lig
@@ -71,6 +71,8 @@ val textbox : lformTag string [] []
val password : lformTag string [] []
val ltextarea : lformTag string [] []
+val checkbox : lformTag bool [] []
+
con radio = [Body, Radio]
val radio : lformTag string radio []
val radioOption : unit -> tag [Value = string] radio [] [] []