diff -Nru gnome-shell-3.30.0/debian/changelog gnome-shell-3.30.0/debian/changelog --- gnome-shell-3.30.0/debian/changelog 2018-09-05 01:20:58.000000000 +0800 +++ gnome-shell-3.30.0/debian/changelog 2018-09-06 16:41:39.000000000 +0800 @@ -1,3 +1,10 @@ +gnome-shell (3.30.0-1ubuntu2) cosmic; urgency=medium + + * ubuntu/desktop_detect.patch: + + Added missing misc/desktop.js to pref's gresource.xml (LP: #1790996) + + -- Shem Pasamba Thu, 06 Sep 2018 16:41:39 +0800 + gnome-shell (3.30.0-1ubuntu1) cosmic; urgency=medium * Merge with debian, remaining changes: diff -Nru gnome-shell-3.30.0/debian/patches/ubuntu/desktop_detect.patch gnome-shell-3.30.0/debian/patches/ubuntu/desktop_detect.patch --- gnome-shell-3.30.0/debian/patches/ubuntu/desktop_detect.patch 2018-09-05 01:20:58.000000000 +0800 +++ gnome-shell-3.30.0/debian/patches/ubuntu/desktop_detect.patch 2018-09-06 16:41:26.000000000 +0800 @@ -13,8 +13,6 @@ 2 files changed, 40 insertions(+) create mode 100644 js/misc/desktop.js -diff --git a/js/js-resources.gresource.xml b/js/js-resources.gresource.xml -index 75a6c3b..c42e4a3 100644 --- a/js/js-resources.gresource.xml +++ b/js/js-resources.gresource.xml @@ -11,6 +11,7 @@ @@ -25,9 +23,6 @@ misc/fileUtils.js misc/gnomeSession.js misc/history.js -diff --git a/js/misc/desktop.js b/js/misc/desktop.js -new file mode 100644 -index 0000000..3b0d128 --- /dev/null +++ b/js/misc/desktop.js @@ -0,0 +1,39 @@ @@ -70,3 +65,13 @@ + _currentDesktopsMatches[name] = false; + return false; +} +--- a/js/prefs-resources.gresource.xml ++++ b/js/prefs-resources.gresource.xml +@@ -5,6 +5,7 @@ + + misc/config.js + misc/extensionUtils.js ++ misc/desktop.js + misc/fileUtils.js + misc/params.js +