From eabb02d3da42caee78c14e269ac3a438258dede4 Mon Sep 17 00:00:00 2001 From: Arnaud Bonatti Date: Wed, 13 Feb 2019 13:12:24 +0100 Subject: [PATCH] Change Iagno renamed desktop id. Iagno is org.gnome.Reversi, instead of org.gnome.Iagno. --- js/ui/appFavorites.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js index 5f17c806d..7def1571e 100644 --- a/js/ui/appFavorites.js +++ b/js/ui/appFavorites.js @@ -41,7 +41,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', + 'iagno.desktop': 'org.gnome.Reversi.desktop', 'nautilus.desktop': 'org.gnome.Nautilus.desktop', 'org.gnome.Weather.Application.desktop': 'org.gnome.Weather.desktop', 'polari.desktop': 'org.gnome.Polari.desktop',