By the yesterday's update of gnome-shell, my gnome-shell Activities menu
was reset to the system defaults (This has been a feature, as I heard).
My question: how to save thes Activities menu of the gnome-shell desktop
so I can restore it after a later "destructive" gnome-shell update?
Any advice is welcome.
Kind regards
--
Joachim Backes <joachim.backes(a)rhrk.uni-kl.de>
http://www.rhrk.uni-kl.de/~backes