From a41cd7d3ccfe8b4b8ec09d7465fb9ff71aec8a17 Mon Sep 17 00:00:00 2001 From: Kalev Lember Date: Tue, 16 Sep 2014 16:51:03 +0200 Subject: [PATCH] appFavorites: Add gnome-boxes to the rename list --- js/ui/appFavorites.js | 1 + 1 file changed, 1 insertion(+) diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js index 3be6d149f..9c42ae3fc 100644 --- a/js/ui/appFavorites.js +++ b/js/ui/appFavorites.js @@ -18,6 +18,7 @@ const RENAMED_DESKTOP_IDS = { 'gnect.desktop': 'four-in-a-row.desktop', 'gnibbles.desktop': 'gnome-nibbles.desktop', 'gnobots2.desktop': 'gnome-robots.desktop', + 'gnome-boxes.desktop': 'org.gnome.Boxes.desktop', 'gnome-clocks.desktop': 'org.gnome.clocks.desktop', 'gnome-contacts.desktop': 'org.gnome.Contacts.desktop', 'gnome-documents.desktop': 'org.gnome.Documents.desktop',