Problem
Sometimes the dock needs to be hidden
Sometimes temporarily the dock needs to stay visible for a bit
It can be a bit annoying to hunt for the setting in the settings panel when the dock is right here
Proposal
This is purely me seeing a feature in another dock and going "I want it!!!!" but the dock from MainstreamOS has a "Pin" togglebutton. When toggled, it keeps the dock "always visible". When untoggled the dock uses the intelligent hiding setting.
On a squonched dock in the center everything is crowded, but if Appmenu in dock and Expand the dock together gets in the dock suddenly has a ton of empty space that makes more items "ok"
If the proposal is rejected, we might just implement it as a patch for our install. It feels very much out of scope
Prior Art (Optional)
No response
Problem
Sometimes the dock needs to be hidden
Sometimes temporarily the dock needs to stay visible for a bit
It can be a bit annoying to hunt for the setting in the settings panel when the dock is right here
Proposal
This is purely me seeing a feature in another dock and going "I want it!!!!" but the dock from MainstreamOS has a "Pin" togglebutton. When toggled, it keeps the dock "always visible". When untoggled the dock uses the intelligent hiding setting.
On a squonched dock in the center everything is crowded, but if Appmenu in dock and Expand the dock together gets in the dock suddenly has a ton of empty space that makes more items "ok"
If the proposal is rejected, we might just implement it as a patch for our install. It feels very much out of scope
Prior Art (Optional)
No response