Skip to content
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

Add GNOME 40 support, please! And add it to https://extensions.gnome.org/extension/1509/drop-down-terminal-x/ #94

Closed
Kerrung opened this issue Mar 27, 2021 · 5 comments
Assignees
Labels

Comments

@Kerrung
Copy link

Kerrung commented Mar 27, 2021

The extension does not work on GNOME 40.

@bigbn
Copy link
Owner

bigbn commented Mar 27, 2021

Has something broken, or just version upgrade is needed?

@Kerrung
Copy link
Author

Kerrung commented Mar 27, 2021

Has something broken, or just version upgrade is needed?

An innovation since GNOME 40 is that any extension cannot be enabled unless the current version of GNOME is listed in the list of supported versions. Therefore, I can not even just turn it on to check if everything works.

@bigbn
Copy link
Owner

bigbn commented Mar 29, 2021

Found necessary information, will port as soon as possible.

https://blogs.gnome.org/shell-dev/2021/03/20/extensions-rebooted-porting-your-existing-extensions-to-gnome-40/
https://gjs.guide/extensions/upgrading/gnome-shell-40.html

@bigbn
Copy link
Owner

bigbn commented Apr 8, 2021

Take a look at: https://github.com/amezin/gnome-shell-extension-ddterm
I think @amezin made a best solution for us. It is much better, cleaner and polished. Has every preferences you want. I think what this is a new generation and should replace legacy extensions like this. I do not plan to compete with him. So I'm going to drop support of this extension an switch to ddterm by myself.
So I recommend to use ddterm. Just because it really cool and even works on wayland.
You will like it. Thanks for everybody and now just please support him.

@bigbn bigbn closed this as completed Apr 8, 2021
@Kerrung
Copy link
Author

Kerrung commented Apr 8, 2021

Take a look at: https://github.com/amezin/gnome-shell-extension-ddterm
I think @amezin made a best solution for us. It is much better, cleaner and polished. Has every preferences you want. I think what this is a new generation and should replace legacy extensions like this. I do not plan to compete with him. So I'm going to drop support of this extension an switch to ddterm by myself.
So I recommend to use ddterm. Just because it really cool and even works on wayland.
You will like it. Thanks for everybody and now just please support him.

Thank you!

@bigbn bigbn pinned this issue Apr 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants