search

bigbn / drop-down-terminal-x

Drop Down Terminal X extension for the Gnome Shell
https://extensions.gnome.org/extension/1509/drop-down-terminal-x/?c=38764
GNU General Public License v3.0
92 stars 9 forks source link

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

Closed Kerrung closed 3 years ago

Kerrung commented 3 years ago

The extension does not work on GNOME 40.

bigbn commented 3 years ago

Has something broken, or just version upgrade is needed?

Kerrung commented 3 years ago

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 commented 3 years ago

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 commented 3 years ago

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.

Kerrung commented 3 years ago

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!