I'm not sure how that is supposed to be done (correctly). But I did > install: > > gtk-update-icon-cache > > and then tried: sudo gtk-update-icon-cache (and) sudo > gtk-update-icon-cache /usr/share/icons/hicolor (and even) sudo > gtk-update-icon-cache -v /usr/share/icons/hicolor > > all with no apparent results. (Hope I didn't mess up my system)! > > I am surprised, since I thought Cinnamon was based upon Gnome 3. > > So, still have to restart Cinnamon to have
There is a Panel Applet, I think, that will restart Cinnamon. Or
maybe it's and extension.
Also, maybe
# updatedb
Just a thought.
Regards,
Marshall Neill
On 12/29/2015 07:22 PM, Francis Gerund wrote:
programs appear in the > menu. Not a major problem, but annoying
nonetheless. > > > On Tue, Dec 29, 2015 at 1:51 AM, Ralf Mardorf >