filter out multiple button press events
When the user presses a button twice, three GDK events are generated (two GTK_BUTTON_PRESS and one GTK_2BUTTON_PRESS). The 'muted' state is toggled 3 times, which means that (from the user perspective) the second press looks ineffective.