Use the muxer from GtkWidget to setup the accels rather than our own local muxer (which will soon be removed).