1 --[[--

2 ui.field.integer{

3 ... -- generic ui.field.* arguments, as described for ui.autofield{...}

4 format_options = format_options -- format options for format.decimal

5 }

6

7 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{...}.

8

9 --]]--

10

11 function ui.field.integer(args)

12 ui.form_element(args, {fetch_value = true}, function(args)

13 local value_string = format.decimal(args.value, args.format_options)

14 if args.readonly then

15 ui.tag{ tag = args.tag, attr = args.attr, content = value_string }

16 else

17 local attr = table.new(args.attr)

18 attr.type = "text"

19 attr.name = args.html_name

20 attr.value = value_string

21 ui.tag{ tag = "input", attr = attr }

22 ui.hidden_field{

23 name = args.html_name .. "__format",

24 value = encode.format_info("decimal", args.format_options)

25 }

26 end

27 end)

28 end