I am not managing to find anything additional about flushing the menu cache.
Yes, if you can update the desktop, I'll reinstall tomorrow after the mirrors have a chance to refresh. Thanks, and sorry for the misstep! -- bennet _______________________________________________ Neurodebian-users mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/neurodebian-users
