I haven't been able to replicate it after that, so this might be a duplicate of Bug #89189.
-- Menu Bar Entries Aren't Highlighted https://launchpad.net/bugs/94634 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
