Comment 15 for bug 510619

Yes, I had to switch back to gtk.eventbox from gtk.button again to get badges working. I'll see if I find a way to fix this problem that doesn't evolve changing to gtk.button or find a way to get badges working nicely with gtk.buttons.