there is also bug #67332 about the topic, not a trivial case, doing a copy can be useful because otherwise you could not edit the launcher, the best option could be to make gnome-panel display a clear error about the launcher having being deleted mentioning the location so it would be clear to the user why the launcher is not there
there is also bug #67332 about the topic, not a trivial case, doing a copy can be useful because otherwise you could not edit the launcher, the best option could be to make gnome-panel display a clear error about the launcher having being deleted mentioning the location so it would be clear to the user why the launcher is not there