Unhide docky not only on lowermost display pixel row
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Docky |
Fix Released
|
Low
|
Mathijs Henquet | ||
Bug Description
This is supposed to be an enhancement request.
I'm using Docky in a double monitor setup. The second monitor is higher (1200px) than the first one (1050px). They are aligned on the same height so that the upper borders of them match, therefore there's some dead space accessible with the mouse (but not visible) under the first monitor. Docky is running on that one, so it has the dead space under it. Once docky hides, I can only bring it up by touching the lowermost pixel row of the display but not by roaming in the dead space. It'd be nice if Docky would unhide once the cursor position is lower than the screen.
As it comes to my mind now, that could cause problems if docky is on the bottom of a screen and there is another one xrandr'ed under it... Which would be a weird setup, but is possible.
If the description isn't understandable, I'll happily draw an illustration. ;)
Related branches
- Robert Dyer (community): Approve
- Mathijs Henquet (community): Needs Resubmitting
-
Diff: 31 lines (+3/-4)1 file modifiedDocky/Docky/Interface/DockWindow.cs (+3/-4)
| Changed in docky: | |
| importance: | Undecided → Wishlist |
| assignee: | nobody → Jason Smith (jassmith) |
| Mathijs Henquet (mathijshenquet) wrote | #1 |
| Marcel (tanuva-googlemail) wrote Re: [Bug 625332] Re: Unhide docky not only on lowermost display pixel row | #2 |
| Changed in docky: | |
| assignee: | Jason Smith (jassmith) → MathijsHenquet (mathijshenquet) |
| Changed in docky: | |
| status: | New → In Progress |
| Changed in docky: | |
| importance: | Wishlist → Low |
| Changed in docky: | |
| milestone: | none → 2.0.8 |
| Robert Dyer (psybers) wrote | #3 |
| Changed in docky: | |
| status: | In Progress → Fix Committed |
| Changed in docky: | |
| milestone: | 2.0.8 → none |
| Changed in docky: | |
| milestone: | none → 2.0.10 |
| Changed in docky: | |
| status: | Fix Committed → Fix Released |
I attached a branch where if fixed this problem. It works by notifying the AutohideManager of the position of the dock, the extra dock hotarea extends infinitly beyond the screen while respecting the dock width.
I didn't add cases where the dock is left and right.