I noticed that the the .desktop files for SELinux related GUI aplications, although present in selinux-gui , are in a different location than the other .desktop files seen by GNOME. Perhaps upstream defaults anyway, so maybe not really a packaging issue.
As a solution I created symlinks in /usr/share/applications, now I can see all of them in the list of applications.
I noticed that the the .desktop files for SELinux related GUI aplications, although present in selinux-gui , are in a different location than the other .desktop files seen by GNOME. Perhaps upstream defaults anyway, so maybe not really a packaging issue.
As a solution I created symlinks in /usr/share/applications, now I can see all of them in the list of applications.
I'm not really sure how, or if, these changes should be done through selinux-gui package and I didn't check how upstream is handling this situation.