Thanks. It's unclear who exactly added that or why... From: Ubuntu Developers <ubuntu-devel-disc...@lists.ubuntu.com> Date: Wed, 20 Jun 2018 19:22:06 +0200 Subject: Add an helper to detect current desktop
We will differentiate some behavior depending on current desktop. Add an helper to centralize the current desktop detection. Forwarded: not-needed Origin: ubuntu =================================================================== --- js/js-resources.gresource.xml | 1 + js/misc/desktop.js | 39 +++++++++++++++++++++++++++++++++++++++ 2 files changed, 40 insertions(+) create mode 100644 js/misc/desktop.js ** Changed in: gnome-shell (Ubuntu) Importance: Undecided => Medium ** Changed in: gnome-shell (Ubuntu) Status: New => Triaged ** Description changed: - https://gitlab.gnome.org/GNOME/gnome-shell/issues/538 - - --- - Upgraded latest Ubuntu Cosmic Cuttlefish (development branch) and this error shows up when clicking a preference in any gnome-shell extension: Sep 6 10:16:23 shemgp-x230t gnome-shell-ext[30874]: Execution of main.js threw exception: Script <main> threw an exception Sep 6 10:16:23 shemgp-x230t gnome-shell-ext[30886]: JS ERROR: ImportError: No JS module 'desktop' found in search path#012@resource:///org/gnome/shell/misc/extensionUtils.js:12:7#012@resource:///org/gnome/shell/extensionPrefs/main.js:15:7#012@<main>:1:7 ProblemType: Bug DistroRelease: Ubuntu 18.10 Package: gnome-shell 3.30.0-1ubuntu1 ProcVersionSignature: Ubuntu 4.17.0-9.10-generic 4.17.17 Uname: Linux 4.17.0-9-generic x86_64 ApportVersion: 2.20.10-0ubuntu9 Architecture: amd64 CurrentDesktop: GNOME Date: Thu Sep 6 10:18:42 2018 DisplayManager: gdm3 EcryptfsInUse: Yes InstallationDate: Installed on 2015-09-28 (1073 days ago) InstallationMedia: Ubuntu 15.04 "Vivid Vervet" - Release amd64 (20150422) SourcePackage: gnome-shell UpgradeStatus: Upgraded to cosmic on 2018-09-05 (0 days ago) -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1790996 Title: JS ERROR: ImportError: No JS module 'desktop' found in search path#012 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1790996/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs