I want to auto-hide Dock in Ubuntu 20.04, but in different way - hide Dock by default, and show it if I hover mouse on Dock side. I think the GNOME way to hide Dock is useless...
Asked
Active
Viewed 268 times
