jbe/bsw@0: --[[--
jbe/bsw@0: ui.field.integer{
jbe/bsw@0:   ...                              -- generic ui.field.* arguments, as described for ui.autofield{...}
jbe/bsw@0:   format_options = format_options  -- format options for format.decimal
jbe/bsw@0: }
jbe/bsw@0: 
jbe/bsw@0: This function inserts a field for an integer in the active slot. For description of the generic field helper arguments, see help for ui.autofield{...}.
jbe/bsw@0: 
jbe/bsw@0: --]]--
jbe/bsw@0: 
jbe/bsw@0: function ui.field.integer(args)
jbe/bsw@0:   ui.form_element(args, {fetch_value = true}, function(args)
jbe/bsw@0:     local value_string = format.decimal(args.value, args.format_options)
jbe/bsw@0:     if args.readonly then
jbe/bsw@0:       ui.tag{ tag = args.tag, attr = args.attr, content = value_string }
jbe/bsw@0:     else
jbe/bsw@0:       local attr = table.new(args.attr)
jbe/bsw@0:       attr.type  = "text"
jbe/bsw@0:       attr.name  = args.html_name
jbe/bsw@0:       attr.value = value_string
jbe/bsw@0:       ui.tag{ tag  = "input", attr = attr }
jbe/bsw@0:       ui.hidden_field{
jbe/bsw@0:         name  = args.html_name .. "__format",
jbe/bsw@0:         value = encode.format_info("decimal", args.format_options)
jbe/bsw@0:       }
jbe/bsw@0:     end
jbe/bsw@0:   end)
jbe/bsw@0: end