jbe/bsw@11: --[[--
jbe/bsw@11: ui.partial{
jbe/bsw@11:   module =
jbe/bsw@11:   view =
jbe/bsw@11:   id =
jbe/bsw@11:   params =
jbe/bsw@11:   target =
jbe/bsw@11:   content = function()
jbe/bsw@11:     ...                   -- 
jbe/bsw@11:   end
jbe/bsw@11: }
jbe/bsw@11: 
jbe/bsw@11: TODO: documentation
jbe/bsw@11: 
jbe/bsw@11: --]]--
jbe/bsw@11: 
jbe/bsw@11: function ui.partial(args)
jbe/bsw@11:   local old_state = ui._partial_state
jbe/bsw@11:   ui._partial_state = table.new(args)
jbe/bsw@11:   ui._partial_state.param_name_hash = {}
jbe/bsw@11:   if args.param_names then
jbe/bsw@11:     ui.add_partial_param_names(args.param_names)
jbe/bsw@11:   end
jbe/bsw@11:   args.content()
jbe/bsw@11:   ui._partial_state = old_state
jbe/bsw@11: end