Re:On the Graying of Gnome
by curt15 on Monday December 21, 2020 @05:48AM
(#25493746)
At least for the dash to dock behavior, the Gnome designers opted against a permanent dock to minimise "distractions" and allow one to "focus on the task at hand". This language pervades much of the literature explaining Gnome's design. See for example https://help.gnome.org/users/gnome-help/stable/shell-introdu...
[ Parent
| on HN ]
Which is nonsense, because the default behavior is not a permanent dock, it is a hidden dock that appears on mouseover. And it is tuned perfectly IMO, it never comes up by accident and always comes up when I intended to do so.
I agree with the rationale about not having a visible dock, the extra space and lack of distraction is great. But Dash to Dock doesn't harm that goal whatsoever IMO.