Re: A new applicationadded to the gnome3 favorites bar is not visible if the favorites bar is "ful"