It's unclear what 'pressure reveal' does and seeming there's no setting to bring up dock when pointer at screen edge
Bug #1746157 reported by
ALinuxUser
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Plank |
New
|
Undecided
|
Unassigned |
Bug Description
1) It's unclear what the 'pressure reveal' option does. I had thought it might set the dock to appear when the pointer was held against a screen edge. It seems not to do that.
2) There seems no provision to t set the dock to appear when the pointer was held against a screen edge. That means that when the dock is set to hide, one must remember how long one's dock is - because one must move the pointer to where the dock would be were it (the dock) showing. I find this a significant hindrance.
Plank 0.11.1 - 0.11.4
Linux Mint 18.3 x64 Cinnamon, using Mutter (Muffin)
To post a comment you must log in.
I realise that now that - to quote my first post - 'set[ting] the dock to appear when the pointer was held against a screen edge' is precisely what the 'pressure reveal' option is meant to do. However, on my system (and, now, plank 0.11.4.34), that option does not work. Worse: it if does not work, then one loses the ability to see one's plank and, thus, to disable the faulty 'pressure reveal'. Worse yet, there is no config file. So how to ever see my dock again? I discovered `plank --settings`. Others won't.
So, there's a whole cluster of problems. To wit:
1) an explanation of 'pressure reveal' would be good;
2) if that feature actually worked it would be good;
3) being able to recover more easily from the feature not working would be good.