Regardless of whether the behaviour itself is a bug, the undocumented nature of the solution is definitely a bug. I spent several hours attempting to discover the cause of this issue, before stumbling upon this bug report from google.
I would recommend that a simple wrapper around /usr/share/gnome-menus /update-gnome-menus-cache be added to the default path (i.e. /usr/bin /update-gnome-menus-cache), and that this tool be documented in the relevant gnome/ubuntu documentation on manually editing menu entries. However, given that gnome already detects any changes to /usr/share/application/*.desktop, and updates the menus accordingly, would it not make sense for gnome itself to update the cache when needed? -- Manually created menu item in Gnome disappears from Gnome, Ubuntu 10.04 (64 bit).after reboot https://bugs.launchpad.net/bugs/581838 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
