gnome-shellgnome-shell-extension
I am using Ubuntu 19.10, it runs GNOME 3.34.1. I have installed the extension "Dash-to-panel" yesterday. It was just fine, no error message, and the top panel was correct. But this morning I now have an "ERROR" in the extension on my "Installed Extensions" and the top panel is messed up.
How can I fix this issue?
I did send a bug message to the author of this extension, plus posted my comment on the extension site.
After reporting the problem I got the following response from Gnome which has SOLVED the issue:
"Version 27 is now inactive and v26 is the most current version. Please check, that you are using v26"
So, I restarted gnome with AltF2r and then selected 3.26 as the Extension version to reinstall it.
The extension now works again as it should.
I just upgraded to 19.10 myself from 19.04. Dash to Dock seems to have stopped working. I just installed Dash to panel and that seems to work. You can position it on either the top or bottom. And I do like the extra space it provides.
For me I installed it as a gnome extension from the website. https://extensions.gnome.org/
You will need to make sure to have the Gnome Integration Add-on installed in Firefox if it isn't installed already. If it is installed you will see a black foot print towards the top right of the Firefox browser for the Gnome Integration add-on and that can take you to the website.
I hope this helps you out.
Best Answer
Later in Ask Ubuntu, I saw where someone had the same problem.
I pressed ALT+F2, entered
r, and then pressed enter & my issue is now fixed.