Option to add screen gap to height of dock on maximization
I like the new floating dock a lot. I prefer to use the option to remove the gap on maximized, not to gain window-height but just for the looks. What I do not like is the fact that the window resizes twice.
It now goes like:
- Maximize window to the space which is available.
- The gap is removed by moving the dock.
- Maximize window again since the gap is removed and more space is available.
It thus "maximizes" the window twice due to the fact that the gap is removed after the window is maximized. As far as I know, there is no possibility to first remove the gap since the gap is removed on the maximization of a window. You can clearly see that it maximizes twice here: : OldOption.mkv
In my opinion, when a small gap is being used(I use 6px) the increase in window-height / window-width is negligible. I'd like to know your opinion on adding a new option to increase the dock height/width instead of removing the gap. The window now only needs to maximize once which makes the maximization of the window look way smoother.
It would go like:
- Maximize window to the space which is available.
- Removing the gap by increasing the dock height/width.
Here is an ugly quick try to just find out what it would kind of look like: NewOption.mkv
Note that the dock height is not yet increased but it would look something like that with the blue line below the dock becoming the dock.