```
Steps to reproduce

Expected behaviour
Terminal should not remain in favorites bar when the option 'Add to favorites' shows
Other information
This issue does not appear in Fedora 32 Cinnamon. I have not tested other distros.
I have the same issue here on Linux Mint 19.3 Cinnamon 4.4.8.
Interesting bug. It's caused by gnome-terminal shipping two desktop files - /usr/share/applications/org.gnome.Terminal.desktop and /usr/share/applications/gnome-terminal.desktop
The former is set in dconf as a default favorite, but it's the latter that populates the menu entry.
Workaround - just click and drag the default icon out of favourites
Interesting bug. It's caused by gnome-terminal shipping two desktop files - /usr/share/applications/org.gnome.Terminal.desktop and /usr/share/applications/gnome-terminal.desktop
The former is set in dconf as a default favorite, but it's the latter that populates the menu entry.
Workaround - just click and drag the default icon out of favourites
thanks, that worked. will it be fixed in the next update?
I'll check if the issue still exists in Mint 20 and if so will put in PR to make ensure the default favourite matches the correct .desktop file.
It's not a problem in Mint 20 - gnome-terminal only has one .desktop file
Most helpful comment
Interesting bug. It's caused by gnome-terminal shipping two desktop files - /usr/share/applications/org.gnome.Terminal.desktop and /usr/share/applications/gnome-terminal.desktop
The former is set in dconf as a default favorite, but it's the latter that populates the menu entry.
Workaround - just click and drag the default icon out of favourites