-
Notifications
You must be signed in to change notification settings - Fork 8
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Verifiy Ubuntu GNOME (3.18) compatibiility #5
Comments
I can't install the extension but I definitively have done that:
I have updated&upgraded before doing that, obviously. |
There must be another issue then. Can you please attempt to install the extension through the command line and tell me if it works? You can do it using the same mechanism the browser plugin does by running the following command:
Also, if you download the ZIP from the releases page, and extract it manually to edit: there was an extra space on the last parameter of the command, try it again please if you copied the old version. |
I installed the extension manually by cloning the git repo and moving the extension into the extensions folder and now I can enable it. I restarted gnome using ALT+F2 and r as you mentioned, and it worked. The buttons are working now again. But using extensions.gnome.org it doesn't work, I click on the switch, let it install and then the switch goes back to off. 😂 |
Does running the command I mentioned not show any error messages? |
Yes it shows an error message:
|
I had a typo in the command, please remove the space in the last parameter - it needs to be |
Did that, got following result:
|
Btw, the extension can now be installed from extensions.gnome.org. Thanks! Also would be nice if you could let us choose the icons from the already installed themes. |
I didn't actually change anything. I suspect something glitched and didn't properly cleanup an old version of the extension from the shell, breaking the attempt to load the new version. I've been a bit busy the last few days, but I'll release a version soon that will also remove the requirement for installing any extra packages (#6). About pulling icons from installed themes: I was thinking about that recently, and it should be possible, by creating some controls similar to what the GtkHeaderBar element does, so that they get styled as the regular window buttons would. It would take quite a bit of work and refactoring. I can't promise you any time frame, but I'll look into it! |
Thank you very much!
|
Some folks have reported issues on the extensions.gnome.org comments, it's necessary to test and see what's going on.
The text was updated successfully, but these errors were encountered: