I have modified the .desktop
file of an application that appears in the GNOME Dash. This should change the options that appear in the application's right-click menu, but to see the changes I have log out and in again.
I have tried running restart
in the Alt + F2 dialog, as suggested in another Dash-related question, but this does not refresh the application menus.
What command will refresh the menus?