Sven Geisenhainer wrote:
I've noticed the Gnome menu structure editing utility doesn't applies any changes immediately, instead i have to restart the utility in order to make my changes visible within this tool, and i have to restart my Gnome session to have the application/places/system-menus updated - anybody else encountered this problem / serious bug, incomplete utility or what's wrong here? Regards, Sven
You used to have to press ctl-r in order to refresh the desktop. The desktop is not constantly updated so a refresh is needed.
Jim -- Hacker's Law: The belief that enhanced understanding will necessarily stir a nation to action is one of mankind's oldest illusions.