rpms/gnome-shell
7
0
Fork 0
Code Issues Pull Requests Releases Activity

Update downstream patch

Browse Source
This commit is contained in:
Florian Müllner 2019-02-21 22:03:14 +01:00
parent ce1c5840b6
commit 57eb825bd2
1 changed files with 17 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
gnome-shell-favourite-apps-firefox.patch
View File

@ -1,3 +1,13 @@
From 3d72064154ed59abac2448dab8c279ed99baeb77 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 17 Sep 2014 07:11:12 +0200
Subject: [PATCH] Replace Web with Firefox in default favorites
---
data/org.gnome.shell.gschema.xml.in | 2 +-
js/ui/appFavorites.js | 1 +
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/data/org.gnome.shell.gschema.xml.in b/data/org.gnome.shell.gschema.xml.in diff --git a/data/org.gnome.shell.gschema.xml.in b/data/org.gnome.shell.gschema.xml.in
index 24e2a75b0..2f50036d0 100644 index 24e2a75b0..2f50036d0 100644
--- a/data/org.gnome.shell.gschema.xml.in --- a/data/org.gnome.shell.gschema.xml.in
@ -12,14 +22,17 @@ index 24e2a75b0..2f50036d0 100644
<description> <description>
The applications corresponding to these identifiers The applications corresponding to these identifiers
diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
index 5f17c806d..0d2fba68c 100644 index a80504c31..79123913d 100644
--- a/js/ui/appFavorites.js --- a/js/ui/appFavorites.js
+++ b/js/ui/appFavorites.js +++ b/js/ui/appFavorites.js
@@ -42,6 +42,7 @@ const RENAMED_DESKTOP_IDS = { @@ -42,6 +42,7 @@ const RENAMED_DESKTOP_IDS = {
'gnotski.desktop': 'gnome-klotski.desktop', 'gnotski.desktop': 'gnome-klotski.desktop',
'gtali.desktop': 'tali.desktop', 'gtali.desktop': 'tali.desktop',
'iagno.desktop': 'org.gnome.Iagno.desktop', 'iagno.desktop': 'org.gnome.Reversi.desktop',
+ 'mozilla-firefox.desktop': 'firefox.desktop', + 'mozilla-firefox.desktop': 'firefox.desktop',
'nautilus.desktop': 'org.gnome.Nautilus.desktop', 'nautilus.desktop': 'org.gnome.Nautilus.desktop',
'org.gnome.Weather.Application.desktop': 'org.gnome.Weather.desktop', 'org.gnome.gnome-2048.desktop': 'org.gnome.TwentyFortyEight.desktop',
'polari.desktop': 'org.gnome.Polari.desktop', 'org.gnome.taquin.desktop': 'org.gnome.Taquin.desktop',
--
2.20.1