Thank you for this information. I have found that myself. Have no Gnome desktop so didn't know if this was an error or a "feature". Having played a bit with 15.04 I found several changes in the way applications work. Most of them are not beneficial.
I can live with this but I have users that might nag me about such a change. But thanks for the answer. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1448754 Title: gnome-terminal menu items disappeared To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1448754/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
