From 31c42f8c88e6c280119813d68a70ad522a6b94a2 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 3 Sep 2011 12:56:05 -0400 Subject: Switch type of 'for' attribute --- lib/ur/basis.urs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index cdd49da9..6657034f 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -811,7 +811,7 @@ val image : ctx ::: {Unit} -> use ::: {Type} -> tag ([Src = url, Width = int, Height = int, Alt = string, Action = $use -> transaction page] ++ boxAttrs) ([Form] ++ ctx) ([Form] ++ ctx) use [] -val label : bodyTag ([For = string, Accesskey = string] ++ tableAttrs) +val label : bodyTag ([For = id, Accesskey = string] ++ tableAttrs) (*** AJAX-oriented widgets *) -- cgit v1.2.3