From 39d84bcfe32e3baddafcbabfacc0691dc098316e Mon Sep 17 00:00:00 2001 From: Bastien Nocera 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