Creating launcher in Gnome 3

[Oliver Elphick <olly@lfix.co.uk>]

I'm trying to create a launcher.  Following the explanation in 
https://specifications.freedesktop.org/desktop-entry-spec/latest/index.
html

I created the following file in ~/.local/share/applications

eiffel-estudio.desktop

[Desktop Entry]
Encoding=UTF-8
Type=Application
Exec=/opt/Eiffel_15.12/studio/spec/linux-x86-64/bin/estudio
Icon=/opt/Eiffel_15.12/studio/bitmaps/png/estudio.png
Name=Eiffel Builder
Categories=Programming

However, this is ignored.  It appears from the xdg reference that the
directory (and its subdirectories too?) should be read automatically,
but my entry still does not appear in the menu.

So what is missing, please?

Oliver Elphick