plugins: de-dupe GUI names list (fixes #1188)

I could do this in gtkui/prefwin.c building the dropdown, but it seems like this is the proper fix.