[gnome-shell] appFavorites: Rename gnome-music.desktop

[Carlos Soriano <csoriano src gnome org>]

commit 2cce1b9ea053f89f8c30f98c211fb6e6f6167838
Author: Carlos Soriano <csoriano gnome org>
Date:   Thu Mar 16 18:41:09 2017 +0100

    appFavorites: Rename gnome-music.desktop
    
    Recently Music gained a flatpak manifest inside the repo in bug 779905.
    However that requires the desktop file to be properly named like
    DBUS addresses are.
    
    This patch renames the old Music desktop file to the new one.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=780157

 js/ui/appFavorites.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
index 12c83b0..33d66bb 100644
--- a/js/ui/appFavorites.js
+++ b/js/ui/appFavorites.js
@@ -6,6 +6,7 @@ const Signals = imports.signals;
 
 const Main = imports.ui.main;
 
+// In alphabetical order
 const RENAMED_DESKTOP_IDS = {
     'baobab.desktop': 'org.gnome.baobab.desktop',
     'cheese.desktop': 'org.gnome.Cheese.desktop',
@@ -27,6 +28,7 @@ const RENAMED_DESKTOP_IDS = {
     'gnome-documents.desktop': 'org.gnome.Documents.desktop',
     'gnome-font-viewer.desktop': 'org.gnome.font-viewer.desktop',
     'gnome-nibbles.desktop': 'org.gnome.Nibbles.desktop',
+    'gnome-music.desktop': 'org.gnome.Music.desktop',
     'gnome-photos.desktop': 'org.gnome.Photos.desktop',
     'gnome-screenshot.desktop': 'org.gnome.Screenshot.desktop',
     'gnome-software.desktop': 'org.gnome.Software.desktop',