I just tested it and it didn't crash any applications. But still, the global menu is only available for Mutiny and Window titles are still not merged to the top panel. Ubuntu version 16.04
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1630515 Title: topmenu-gtk built against GTK3+ segfaults when clicked To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/topmenu-gtk/+bug/1630515/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
