Created the gui.misc.gui_to_int_or_list() conversion function.
Authored by: bugman 2011-09-16
Parent: [r14663]
Child: [r14665]