In Ubuntu 19.10 there's automatically converted GNOME's dash to dock. And, configuration:
- "settings -> dock": offers only option "Auto-hide the Dock",
- "GNOME Tweaks": can't configure any extension about dock.
However, I need to hide it always, except when activity/search menu/screen is shown. As, it's pretty much annoying slowdown, when I want to press some button on the left side, and dock shows and covers application's buttons,...
