Heya,

Here's a patch to make the device selection widget look better, from the
bug http://bugzilla.gnome.org/show_bug.cgi?id=505222

Before:
http://bugzilla.gnome.org/attachment.cgi?id=103695&action=view
After:
http://bugzilla.gnome.org/attachment.cgi?id=103696&action=view

Cheers