Great fix (if that's what it is). Thanks! Please just add some more
information:

1. Mention (LP: #1790996) in the changelog:

   * Add misc/desktop.js to pref's gresource.xml (LP: #1790996)

2. Merge your change into 50_add_ubuntu_desktop_detect.patch. You can do
that by learning about 'quilt' command.

- or -

2. Add more details to the top of the patch:

Description: Add deskpop.js to prefs gresource xml
Author: Shem Pasamba <[email protected]>
Bug-Ubuntu: https://bugs.launchpad.net/bugs/1790996
Forwarded: not-needed
Last-Update: 2018-09-06


** Tags added: patch

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to 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

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to