With the latest release, when the screen is locked (eg after locking it manually or after the normal idle time) and then unlocked, dash-to-panel fails to load.
I'm running Ubuntu 18.04.
Not sure how to provide more details... I don't know where the error log might be.
I have the same issue under Ubuntu 17.10. All i have is the following error in my syslog:
Jun 12 17:43:52 bryllfrosch gnome-shell[17834]: JS ERROR: Exception in callback for signal: extension-state-changed: TypeError: ubuntuDock.stateObj is undefined#012_enable@/home/miku/.local/share/gnome-shell/extensions/[email protected]/extension.js:59:1#012_emit@resource:///org/gnome/gjs/modules/signals.js:126:27#012loadExtension@resource:///org/gnome/shell/ui/extensionSystem.js:177:5#012callback@resource:///org/gnome/shell/ui/extensionDownloader.js:249:17#012gotExtensionZipFile/<@resource:///org/gnome/shell/ui/extensionDownloader.js:105:13
Since the output mentioned the Ubuntu Dock extension - and it is somehow related to the issue - i simply uninstalled it with:
sudo apt-get remove gnome-shell-extension-ubuntu-dock
After login Dash to Panel is working again.
Had the same issue on 18.04. Can confirm that removing gnome-shell-extension-ubuntu-dock seems to help.
Yes sorry about that, this issue was fixed after V14 came out... If you don't mind updating to the latest master, it should resolve the issue. Thanks.
@charlesg99 when is V15 going to come out on extensions.gnome.org? I prefer to update through that route.
If there's a critical bug fix we can release to e.g.o. now, though they are pretty slow to release updates. Are we good to do that, @charlesg99 ?
I'm not sure if everybody on ubuntu is experiencing this issue (I think we would have gotten more reports and I can't reproduce it), but it might justify a release. I think we are good on that front, the only thing that moved since v14 is the clock location, so nothing majorly untested :) Thanks!
@charlesg99 in re to "not sure if everybody on ubuntu is experiencing this issue" I'm wondering if there's a difference between people who upgraded to 18.04 vs those who installed clean?
Please let us know when this is released so we can upgrade. Thanks!
I experience the same problem. I have upgraded to 18.04. I am not sure if it is wise to remove gnome-shell-extension-ubuntu-dock because it wants to remove also ubuntu-desktop and ubuntu-gnome-desktop along. So if there is another way, like for example fixed version of the extension, I would prefer that :-)
I'm affected by this also. Upgraded to 18.04 from 17.10
Can we please get a v15 release of this with the fix on Gnome Extensions please @charlesg99, @jderose9 ??
It has been submitted already, but is waiting in the review queue to be approved by one of the GNOME reviewers.
Oh, thanks. Sorry, I didn't know this page existed to check to see if it was there.
v15 was reviewed and published on gnome extensions. I've updated and it appears to have fixed the issue.
Thanks so much for publishing the update!
I had removed gnome-shell-extension-ubuntu-dock to get around the problem earlier, is this something I should reinstall?
@spacejack I think the only benefit to re-installing it is if you ever wanted to go back to the stock ubuntu behavior (with the ubuntu dock on the left side).
Most helpful comment
Since the output mentioned the Ubuntu Dock extension - and it is somehow related to the issue - i simply uninstalled it with:
sudo apt-get remove gnome-shell-extension-ubuntu-dockAfter login Dash to Panel is working again.