From ecfe56ca63b4c6a7b3f8cdde97eae6fe501b406a Mon Sep 17 00:00:00 2001 From: Arnaud Bonatti Date: Wed, 13 Feb 2019 13:17:54 +0100 Subject: [PATCH] Add the 2048 renamed desktop id. gnome-2048 id is now set to org.gnome.TwentyFortyEight. --- js/ui/appFavorites.js | 1 + 1 file changed, 1 insertion(+) diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js index 7def1571e..51787270d 100644 --- a/js/ui/appFavorites.js +++ b/js/ui/appFavorites.js @@ -43,6 +43,7 @@ const RENAMED_DESKTOP_IDS = { 'gtali.desktop': 'tali.desktop', 'iagno.desktop': 'org.gnome.Reversi.desktop', 'nautilus.desktop': 'org.gnome.Nautilus.desktop', + 'org.gnome.gnome-2048.desktop': 'org.gnome.TwentyFortyEight.desktop', 'org.gnome.Weather.Application.desktop': 'org.gnome.Weather.desktop', 'polari.desktop': 'org.gnome.Polari.desktop', 'totem.desktop': 'org.gnome.Totem.desktop',