News for hackers. Stuff that matters.
Re:On the Graying of Gnome by dralley on Monday December 21, 2020 @10:50AM (#25495958)
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.

There are no comments on this comment yet.