Description of problem: After updates yesterday, the Edit Preferences Menu item went missing. Version-Release number of selected component (if applicable): gedit-3.8.2-1.fc19.x86_64 How reproducible: 100% and so far unreversible. Steps to Reproduce: 1. Run gedit. 2. Click Edit menu 3. No Preferences Menu item. Actual results: Missing Edit --> Preferences menu item Expected results: See preferences menu item to set preferences Additional info: I have tried reinstalling, downgrading to previous versions, and removing and reinstalling gedit packages, plugins, and so forth, as well as recompiling schemas, with zero results. No matter what I have tried the preferences menu item will not come back. I cannot enable and/or disable plugins, and cannot change preferences.
Just checked to see whether a preferences file is the problem. This problem affects all users on my machine, including root.
It has moved to the gedit icon on the top bar, next to Activities. There is a lot of stuff as: Preferences, Help, About...
At the time I filed this report, it wasn't even present there. I looked there first because I had seen menu items from Software Installer go there previously. But, in the case of gedit, the preferences menu just completely disappeared for about a week, and then came back. It is, as you say, there in the panel now, and has been since a round of updates gave it back. I would say the problem pretty much is resolved.
I'm having the same problem too. I guess the solution offered in Comment 3 is useful, but some education of long time users might be useful. I also question the wisdom of splitting menus between menus in the application windows and the whatever it's called bar at the top. That seems a little like a dogs breakfast.
As the previous comments show, it didn't go missing. It was just relocated.
No, it did go missing. It was nowhere. I know because that was the first place I I looked for it when I saw it gone from the original place. It was neither in the former place nor in the application menu next to the activities menu. No big deal, though, because the problem was fixed after some updates to Gnome Shell, whatever the cause. But, it looks like I am going to have to start submitting screen shots with some bug reports of this kind. Next time... :-)
@Matthias Clasen - yes it has been relocated for a normal user, but unfortunately the preferences are now unavailable for a root user using this method.