Fixes a problem where a group can be shown twice in the contactlist.
Corrects gray background for checkboxes on linux. Based on Daniel Zucchetto patch proposed on dev mailing-list with subject: UI improvements on labels and buttons.