Created the gui.misc.list_to_gui() function for converting Python lists to GUI strings.
Authored by: bugman 2011-07-25
Parent: [r13864]
Child: [r13866]