On 08/22/2017 03:39 PM, ano...@users.sourceforge.net wrote:
On Tue, Aug 22, 2017 at 08:58:01AM -0400, Doug Torrance wrote:
What are the contents of your ~/GNUstep/Defaults/WMRootMenu

One line:

/etc/GNUstep/Defaults/menu.hook

Removing ~/GNUstep/Defaults/WMRootMenu brings back some/most of the
applications, although all the submenus are somewhat annoyingly nested
under an "Applications" submenu.

Also, /etc/GNUstep/Defaults/menu.hook doesn't exist.

and /etc/GNUstep/Defaults/WMRootMenu?

One line:

"menu.hook"

Does the file /usr/share/WindowMaker/menu.hook exist? Is it a symbolic link
to /etc/GNUstep/Defaults/plmenu.Debian?  (For some reason, they're not
showing up in the filelist [1], even though they ought to...)

Yes, and yes.

Ok, great! So it seems like the issue was that the WMRootMenu in your home directory was no longer pointing to the correct file.

Do you think the correct fix to this bug would be better documentation for the change? Or something else?

Thanks!
Doug

Reply via email to