From 2cce1b9ea053f89f8c30f98c211fb6e6f6167838 Mon Sep 17 00:00:00 2001 From: Carlos Soriano Date: Thu, 16 Mar 2017 18:41:09 +0100 Subject: [PATCH] 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 file changed, 2 insertions(+) diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js index 12c83b0e3..33d66bb5b 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',