jbe/bsw@0: --[[--
jbe/bsw@0: ui.hidden_field{
jbe/bsw@0:   name = name,    -- HTML name
jbe/bsw@0:   value = value,  -- value
jbe/bsw@0:   attr  = attr    -- extra HTML attributes
jbe/bsw@0: }
jbe/bsw@0: 
jbe/bsw@0: This function inserts a hidden form field in the active slot. It is a low level function compared to ui.field.hidden{...}.
jbe/bsw@0: 
jbe/bsw@0: --]]--
jbe/bsw@0: 
jbe/bsw@0: function ui.hidden_field(args)
jbe/bsw@0:   local args = args or {}
jbe/bsw@0:   local attr = table.new(args.attr)
jbe/bsw@0:   attr.type  = "hidden"
jbe/bsw@0:   attr.name  = args.name
jbe/bsw@0:   attr.value = atom.dump(args.value)
jbe/bsw@0:   return ui.tag{ tag  = "input", attr = attr }
jbe/bsw@0: end