Dash to Dock just broke after the recent update, auto-hide doesn't always work.

Quite annoying when the dock covers up the bottom of windows. But whatever, I uninstalled it.

I plan to move to the tiling WM world anyways in the summer (because I want auto-tiling, which is only available on GNOME, KDE and COSMIC among the DEs afaik, but all will be Wayland-only soon, and I still need X11 because of a few minor things, although there's Sonic DE but who knows how much time it will take to arrive to Debian Stable, and I don't want to distrohop, also, I noticed some lag on GNOME recently, and some freezing once or twice, maybe my laptop is aging. KDE isn't more lightweight either, COSMIC is lighter, but it isn't as mature yet, it may also get heavier later on, as more things will be added), when I'll have more time to configure stuff, research how to do stuff and set up everything how I want it to work, etc., so it's time to slowly transition to that workflow anyways. (Phew, what a long sentence lol)

I just use the built-in search of GNOME, press Super key and type the name of the program, the same way I'll probably do on a tiling WM.

Actually I'll might also change my habits to hold Super key to drag windows, instead of grabbing their header.

It's like when Windows users are told to try out programs which are also available on Linux, before actually switching to Linux lol.

#TilingWM #DashToDock #Linux #GNOME #FosseryTech

"Magische" Ecken

https://f.praschnig.com/display/b8c357bb-1065-ae5c-fc03-d26759354282

Dev Ports Popular Unity-Era Feature to Ubuntu Dock – But Will It Be Merged?

Cool thing exists, falls out of vogue, gets forgotten, then comes back to much hype – a tale as old as time, and as true for code as pop stars and fashion.
#Dev #News #DashToDock #MergeProposals #UbuntuDock #Unity

 https://www.omgubuntu.co.uk/2022/06/dash-to-dock-window-spread-feature-proposal

Dash to Dock v70 Adds GNOME 40 Support

Dash to Dock now supports GNOME 40 — officially. Work to get the popular desktop dock extension jiving with GNOME 40 got underway shortly after the latter’s release in April. Progress was swift as we reported but to try it out users needed to manually install a development version from Github. Well, no more. You can now install Dash to Dock on GNOME 40 from the GNOME extensions site using a compatible web browser. Version 70 of the add-on gains official support for GNOME 40 and its horizontal workspace and application launcher. The dock can be placed on the bottom 
#Dev #DashToDock #GnomeExtensions

 https://www.omgubuntu.co.uk/2021/10/dash-to-dock-official-gnome-40-support