----- Original Message -----
On 6 November 2014 17:57, Michael Catanzaro
<mcatanzaro(a)gnome.org> wrote:
> But it's also not good that it relies on desktop file names, which are
> unreliable
> because they tend to change.
They're not supposed to change; changing the application ID (the
.desktop file name) of an application breaks the shell too.
There's hacks in gnome-shell to make sure we don't break users' dashes.