brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add the 2048 renamed desktop id.

Browse Source 
gnome-2048 id is now set to
org.gnome.TwentyFortyEight.
This commit is contained in:
Arnaud Bonatti 2019-02-13 13:17:54 +01:00
parent eabb02d3da
commit ecfe56ca63
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
js/ui/appFavorites.js
View File

@ -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',