2018-05-05 20:52 GMT+02:00 Mark H Weaver <mhw@netris.org>:

I've found that desktop environments usually need to relaunched in order
for application upgrades to take effect.  That's because the .desktop
files that we install include absolute file names to their programs, and
desktop environments seem to keep using the .desktop files that they
loaded when you first logged in.

For GNOME users, it should be sufficient to relaunch GNOME shell by
typing Alt-F2 and then issuing the special command "r".  However, this
does not work on top of Wayland.

       Mark


Mark,

thank you, I appreciate your clarification !

I didn't know you could restart the Gnome shell that way !