No.
Note that it's not in my environment to begin with anyway. And this also seems to affect nautilus, now that I think of it (I thought it might be a gnome3 push: fewer menus).
No.
Note that it's not in my environment to begin with anyway. And this also seems to affect nautilus, now that I think of it (I thought it might be a gnome3 push: fewer menus).