Re: GNOME applications menu empty