From 9620bd0f225bb844c8541c29b81aa1764986ce20 Mon Sep 17 00:00:00 2001 From: Arnaud Bonatti Date: Wed, 13 Feb 2019 13:23:47 +0100 Subject: [PATCH] Add a Taquin renamed desktop id. Taquin is org.gnome.Taquin. --- js/ui/appFavorites.js | 1 + 1 file changed, 1 insertion(+) diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js index 51787270d..a80504c31 100644 --- a/js/ui/appFavorites.js +++ b/js/ui/appFavorites.js @@ -44,6 +44,7 @@ const RENAMED_DESKTOP_IDS = { 'iagno.desktop': 'org.gnome.Reversi.desktop', 'nautilus.desktop': 'org.gnome.Nautilus.desktop', 'org.gnome.gnome-2048.desktop': 'org.gnome.TwentyFortyEight.desktop', + 'org.gnome.taquin.desktop': 'org.gnome.Taquin.desktop', 'org.gnome.Weather.Application.desktop': 'org.gnome.Weather.desktop', 'polari.desktop': 'org.gnome.Polari.desktop', 'totem.desktop': 'org.gnome.Totem.desktop',