[Bug 1721117] Re: Many Gnome extensions don't work with gnome-shell in 17.10, but works in vanilla gnome

2020-01-24 Thread Daniel van Vugt
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.

[Bug 1721117] Re: Many Gnome extensions don't work with gnome-shell in 17.10, but works in vanilla gnome

2017-10-16 Thread Jesse
In this morning's test of 17.10 beta 2, this extension now works: https://extensions.gnome.org/extension/2/move-clock/ The rest still don't seem to work. Just an update. :) -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell

[Bug 1721117] Re: Many Gnome extensions don't work with gnome-shell in 17.10, but works in vanilla gnome

2017-10-05 Thread Daniel van Vugt
Are extensions able to test if currentMode inherits from 'user'? If so then that would be a fix. If not then it sounds like mode 'ubuntu' is going to be a recurring problem in future. -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to

[Bug 1721117] Re: Many Gnome extensions don't work with gnome-shell in 17.10, but works in vanilla gnome

2017-10-05 Thread Didier Roche
Here is some analyze of those extension: * move clock doesn't work due to those lines: // do nothing if we're not in user mode if ( Main.sessionMode.currentMode != 'user' ) { return; } To allow people using the upstream vanilla session, we have an ubuntu mode, inheriting

[Bug 1721117] Re: Many Gnome extensions don't work with gnome-shell in 17.10, but works in vanilla gnome

2017-10-04 Thread Daniel van Vugt
That was an overstatement; I'm just guessing. Not working on it. -- 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/1721117 Title: Many Gnome extensions don't work with

[Bug 1721117] Re: Many Gnome extensions don't work with gnome-shell in 17.10, but works in vanilla gnome

2017-10-04 Thread Didier Roche
I don't know how the harcoded Ambiance theme compared to the gnome.css one can influence that. Do you mind expanding if you already had a start debugging Daniel? -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.

[Bug 1721117] Re: Many Gnome extensions don't work with gnome-shell in 17.10, but works in vanilla gnome

2017-10-03 Thread Daniel van Vugt
Confirmed. Looks like this might be caused by the hard-coded Ambiance theme in the panel. ** Changed in: gnome-shell (Ubuntu) Assignee: (unassigned) => Didier Roche (didrocks) ** Changed in: gnome-shell (Ubuntu) Importance: Undecided => Medium -- You received this bug notification

[Bug 1721117] Re: Many Gnome extensions don't work with gnome-shell in 17.10, but works in vanilla gnome

2017-10-03 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: gnome-shell (Ubuntu) Status: New => Confirmed -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.