After installing gnome-extensions, some of the entries in the application gnome menu appears twice with different symbols.
Symbols like "Eclipse" symbols appears with the normal symbol AND with the generic symbol for applications. Both are executing the program. However, this is a bit disturbing.
Where is this coming from and how can I remove the redundant symbols. Cheers Gerd