From ddb3a5c6257e7fb79ac050307ac21c5febec0585 Mon Sep 17 00:00:00 2001 From: Bilal Elmoussaoui Date: Tue, 15 Jan 2019 15:31:13 +0000 Subject: [PATCH] Add Iagno to appFavorites --- js/ui/appFavorites.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js index 9de707047..3bdf04efb 100644 --- a/js/ui/appFavorites.js +++ b/js/ui/appFavorites.js @@ -30,6 +30,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-mahjongg.desktop': 'org.gnome.Mahjongg.desktop', 'gnome-music.desktop': 'org.gnome.Music.desktop', 'gnome-photos.desktop': 'org.gnome.Photos.desktop', 'gnome-screenshot.desktop': 'org.gnome.Screenshot.desktop', @@ -41,6 +42,7 @@ const RENAMED_DESKTOP_IDS = { 'gnotravex.desktop': 'gnome-tetravex.desktop', 'gnotski.desktop': 'gnome-klotski.desktop', 'gtali.desktop': 'tali.desktop', + 'iagno.desktop': 'org.gnome.Iagno.desktop', 'nautilus.desktop': 'org.gnome.Nautilus.desktop', 'polari.desktop': 'org.gnome.Polari.desktop', 'totem.desktop': 'org.gnome.Totem.desktop',