Ubuntu 20.04:
This is still a problem in gnome-tweaks. But you can ignore it and
instead use the 'Extensions' app which seems to come from installing
package 'gnome-shell-extension-prefs'.
** Changed in: gnome-tweaks (Ubuntu)
Importance: Undecided => Medium
** Summary changed:
- Mode
@Jeremy
I hope this warning in Ubuntu 19.10 is not a problem:-
pranav@exam:~$ gnome-shell-extension-prefs
(gnome-shell-extension-prefs:21099): Gjs-CRITICAL **: 12:46:15.409:
Attempting to call back into JSAPI during the sweeping phase of GC. This
is most likely caused by not destroying a
This is fixed in GNOME Shell directly (try running the gnome-shell-
extension-prefs tool) in Ubuntu 19.10 which will be released in a few
days.
GNOME Tweaks still needs to be updated to do the same thing GNOME Shell
does.
** Changed in: gnome-shell (Ubuntu)
Status: Triaged => Fix Released
** Tags removed: artful cosmic
--
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/1718850
Title:
Mode extensions appear off by default
To manage notifications about this bug go
Still happens. Ubuntu 18.10
Confirmed by:
https://gitlab.gnome.org/World/ShellExtensions/desktop-icons/issues/57#note_374389
https://gitlab.gnome.org/World/ShellExtensions/desktop-icons/issues/57#note_377029
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs,
** Tags added: bionic cosmic
--
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/1718850
Title:
Mode extensions appear off by default
To manage notifications about this bug go to:
** Package changed: gnome-tweak-tool (Ubuntu) => gnome-tweaks (Ubuntu)
** Changed in: gnome-tweaks (Ubuntu)
Status: Incomplete => Triaged
** Changed in: gnome-shell (Ubuntu)
Status: Incomplete => Triaged
--
You received this bug notification because you are a member of Ubuntu
Thank you for reporting this bug to Ubuntu.
Ubuntu 17.10 (artful) reached end-of-life on July 19, 2018.
See this document for currently supported Ubuntu releases:
https://wiki.ubuntu.com/Releases
We appreciate that this bug may be old and you might not be interested
in discussing it any more.
FYI, I started the discussion on the GNOME Shell mailing list in october:
https://mail.gnome.org/archives/gnome-shell-list/2017-October/msg00034.html
There is a pending request with patches posted in November on upstream
bugzilla: https://bugzilla.gnome.org/show_bug.cgi?id=789852 and patches in
** Summary changed:
- System extensions appear off by default
+ Mode extensions appear off by default
--
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/1718850
Title:
Mode
10 matches
Mail list logo
