webmcp: 5354d836e6fb framework/env/ui/is_partial_loading

webmcp

Minor bugfix in json_newindex function of JSON library (should return nothing)

line source

1 --[[--

2 result =

3 ui.is_partial_loading_enabled()

5 This function returns true, if partial loading has been enabled by calling

6 ui.enable_partial_loading().

8 --]]--

10 function ui.is_partial_loading_enabled()

11 return ui._partial_loading_enabled