I'm closing this because after having read this great documentation on the thought process and actual implementation of the Ubuntu dock I'm convinced that you made the right decision:
https://didrocks.fr/2017/08/18/ubuntu-gnome-shell-in-artful-day-5/ ** Changed in: gnome-shell-extension-dashtodock (Ubuntu) Status: New => Invalid -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1831939 Title: Enable dash to dock settings panel in Tweaks To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-dashtodock/+bug/1831939/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs