This has been fixed upstream. The relevant revision is: http://svn.gnome.org/viewvc/muine?view=revision&revision=1236
Attached is the patch from gnome bugs 560077. ** Bug watch added: GNOME Bug Tracker #560077 http://bugzilla.gnome.org/show_bug.cgi?id=560077 ** Also affects: muine via http://bugzilla.gnome.org/show_bug.cgi?id=560077 Importance: Unknown Status: Unknown ** Attachment added: "0001-Workaround-for-non-working-signals-specified-in-Glad.patch" http://launchpadlibrarian.net/25869837/0001-Workaround-for-non-working-signals-specified-in-Glad.patch -- muine didn't react on the play/pause event anymore https://bugs.launchpad.net/bugs/294659 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
