gnome-shell-extension-ddterm VS panel-corners

DDTerm is "Another Drop Down Terminal Extension for GNOME Shell" and has managed to be a perfect drop-in replacement for Guake for me. It supports, among other things:

From the looks of this issue it seems it'll be sorted out pretty soon, or do you really need it that badly?

ddterm

I found this: ddterm/gnome-shell-extension-ddterm Which looks like a good alternative to Guake terminal, but I realized during the install process is that it's for Gnome Shell, not Gnome-terminal, so the command gnome-extensions install is not available unless I install gnome shell.

AppIndicator and KStatusNotifierItem Support Because it's needed, and GS doesn't provide for it. Bluetooth Quick Connect Until GS supports this by default. [Caffeine] Because that's how it should be by default. Clipboard History Because I frequently need several bits of text to paste at different times, and my workflow is often non-linear. ddterm Because I frequently use the terminal for small one-off operations and I prefer to summon and dismiss the terminal with one keystroke whenever needed. Besides, it's one of the best terminal emulators for GS. Dim On Battery Power Because GS doesn't do that, and it should. GSConnect Obviously. Hot Edge Because it greatly simplifies workflow and eliminates the need for a dock extension. Primary Input on LockScreen Because Gnome devs haven't fixed this bug for ages, and it's frustrating to have non-latin layouts even available for the system password input. Unite Because it takes care of focusing windows that demand attention and removing titlebars on maximized windows (precious vertical real estate). I also use it for aesthetic purposes: to remove the Activities button, to display the current window title instead of it (very handy with maximized browser - shows the page title using almost all the space left of the clock), and also to shrink the distance between panel items (Unite does it better than Just Perfection).

I use DDTERM (aka dropdown terminal). I bound it to F1, it isn't used for anything.

Thank you for mentioning ddterm! I've been using it all week and it's great.

I happily used vanilla GNOME in the past for many years. Unfortunately they've been making some questionable changes recently, and now I need to use extensions to undo those changes... Essential extensions for me are Panel Corners, and either Vertical Overview or V-Shell.

Panel Corners — To bring back the aesthetically beautiful rounded top bar that we used to have with stock GNOME.

And there is an extension which re-implements the corners here: https://github.com/aunetx/panel-corners

Also, there's already an extension for those that absolutely want it at all costs.

I created https://github.com/aunetx/panel-corners to keep the corners for gnome 42 and later, if some of you want to keep them :)

you can get back the corners using this extension https://github.com/aunetx/panel-corners