--- js/ui/appFavorites.js.orig 2024-11-23 22:49:36 UTC +++ js/ui/appFavorites.js @@ -26,7 +26,6 @@ const RENAMED_DESKTOP_IDS = { 'gnect.desktop': 'org.gnome.Four-in-a-row.desktop', 'gnibbles.desktop': 'org.gnome.Nibbles.desktop', 'gnobots2.desktop': 'org.gnome.Robots.desktop', - 'gnome-boxes.desktop': 'org.gnome.Boxes.desktop', 'gnome-calculator.desktop': 'org.gnome.Calculator.desktop', 'gnome-chess.desktop': 'org.gnome.Chess.desktop', 'gnome-clocks.desktop': 'org.gnome.clocks.desktop', @@ -41,7 +40,6 @@ const RENAMED_DESKTOP_IDS = { 'gnome-photos.desktop': 'org.gnome.Photos.desktop', 'gnome-robots.desktop': 'org.gnome.Robots.desktop', 'gnome-screenshot.desktop': 'org.gnome.Screenshot.desktop', - 'gnome-software.desktop': 'org.gnome.Software.desktop', 'gnome-terminal.desktop': 'org.gnome.Terminal.desktop', 'gnome-tetravex.desktop': 'org.gnome.Tetravex.desktop', 'gnome-tweaks.desktop': 'org.gnome.tweaks.desktop',