2c5bc4a1a9
We currently assume that if a .desktop file has been renamed (that is, it is in our rename list), the updated ID will be used. That assumption was mostly sound when the list contained only GNOME apps following the same release cycle as gnome-shell, but as applications with less ties to the GNOME schedule adopt the reverse DNS notation, it becomes more likely for apps to appear in the list before actually being updated on the system. Handle this case by only renaming IDs for which the replacement can be resolved to an existing application. https://bugzilla.gnome.org/show_bug.cgi?id=745626
GNOME Shell provides core user interface functions for the GNOME 3 desktop, like switching to windows and launching applications. GNOME Shell takes advantage of the capabilities of modern graphics hardware and introduces innovative user interface concepts to provide a visually attractive and easy to use experience. For more information about GNOME Shell, including instructions on how to build GNOME Shell from source and how to get involved with the project, see: https://wiki.gnome.org/Projects/GnomeShell Bugs should be reported at http://bugzilla.gnome.org against the 'gnome-shell' product. License ======= GNOME Shell is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.