@cakoolen: Sorry for not making that clear. I'd like you to check whether LP: #1354961 and LP: #1255473 are both fixed, i.e. you don't get a segfault and that keyboard navigation of menus still works correctly.
In my opinion, upstream bug #1565 is purely cosmetic, so I am considering reverting the fix for it if it means LP: #1354961 and LP: #1255473 are both fixed. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1354961 Title: segfault in 0x00007ffff725a7dd in _XtWindowedAncestor () from /usr/lib/x86_64-linux-gnu/libXt.so.6 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ddd/+bug/1354961/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
