Adjust gnome-terminal favorite to renamed .desktop file

The gnome-terminal package carries a downstream patch to rename
the .desktop file (to match the DBus name). Handle this case, so
the terminal does not just vanish from app favorites on updates.

0001-appFavorites-Add-gnome-terminal-to-the-rename-list.patch

@@ -0,0 +1,25 @@
+From 39d84bcfe32e3baddafcbabfacc0691dc098316e Mon Sep 17 00:00:00 2001
+From: Bastien Nocera <hadess@hadess.net>
+Date: Wed, 4 Mar 2015 18:31:05 +0100
+Subject: [PATCH] appFavorites: Add gnome-terminal to the rename list
+
+https://bugzilla.gnome.org/show_bug.cgi?id=745626
+---
+ js/ui/appFavorites.js | 1 +
+ 1 file changed, 1 insertion(+)
+
+diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
+index 9c42ae3..f7510c8 100644
+--- a/js/ui/appFavorites.js
++++ b/js/ui/appFavorites.js
+@@ -26,6 +26,7 @@ const RENAMED_DESKTOP_IDS = {
+     'gnome-photos.desktop': 'org.gnome.Photos.desktop',
+     'gnome-screenshot.desktop': 'org.gnome.Screenshot.desktop',
+     'gnome-software.desktop': 'org.gnome.Software.desktop',
++    'gnome-terminal.desktop': 'org.gnome.Terminal.desktop',
+     'gnome-weather.desktop': 'org.gnome.Weather.Application.desktop',
+     'gnomine.desktop': 'gnome-mines.desktop',
+     'gnotravex.desktop': 'gnome-tetravex.desktop',
+-- 
+2.3.1
+

gnome-shell.spec

@@ -12,6 +12,7 @@ Source0:        http://download.gnome.org/sources/gnome-shell/3.15/%{name}-%{ver
 
 # Replace Epiphany with Firefox in the default favourite apps list
 Patch1: gnome-shell-favourite-apps-firefox.patch
+Patch2: 0001-appFavorites-Add-gnome-terminal-to-the-rename-list.patch
 
 %define clutter_version 1.15.90
 %define gnome_bluetooth_version 1:3.9.0
@@ -118,6 +119,7 @@ easy to use experience.
 %prep
 %setup -q
 %patch1 -p1 -b .firefox
+%patch2 -p1 -b .terminal-renamed-desktop-file
 
 %build
 (if ! test -x configure; then NOCONFIGURE=1 ./autogen.sh; fi;