[gnome-shell] appFavorites: Add gnome-boxes to the rename list

[Kalev Lember <klember src gnome org>]

commit a41cd7d3ccfe8b4b8ec09d7465fb9ff71aec8a17
Author: Kalev Lember <kalevlember gmail com>
Date:   Tue Sep 16 16:51:03 2014 +0200

    appFavorites: Add gnome-boxes to the rename list

 js/ui/appFavorites.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
index 3be6d14..9c42ae3 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',