Add "hide-delay" setting
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Plank |
Fix Released
|
Wishlist
|
Rico Tzschichholz |
Bug Description
Need to have a sort of "grace period" while moving the mouse away do not immediatly hide the dock to avoid the continuous hide & unhide
Daniele Giardina (daniele-giardina) said:
sometimes is not really nice to see the dock continuosly popping in & out (having a maximixed window like a browser on the background) when you use it to switch from one maximized app to another very quickly (as it happens to me).
Also i noticed that moving away from the dock (really about 1pixel or little more on top of the icons) just trigger the hiding animation, so then to unhide it you have to move fully to the bottom edge of the screen, this triggers a lot of easy auto-hidings when maybe I meant to move along the dock (just annoying to the little loss of time needed). This having small icons means small space (th to travel with the cursor, having big icons means more space to get back to the bottom edge.
Related branches
- Docky Core: Pending requested
-
Diff: 627 lines (+238/-123)6 files modifieddata/ui/preferences.ui (+158/-110)
lib/DockPreferences.vala (+7/-0)
lib/HideManager.vala (+29/-2)
lib/Widgets/PreferencesWindow.vala (+19/-0)
lib/libplank.symbols (+2/-0)
po/plank.pot (+23/-11)
Changed in plank: | |
assignee: | nobody → Rico Tzschichholz (ricotz) |
Changed in plank: | |
milestone: | none → 0.8.1 |
Changed in plank: | |
milestone: | 0.8.1 → 0.9.0 |
Changed in plank: | |
status: | Triaged → Fix Committed |
Changed in plank: | |
status: | Fix Committed → Fix Released |
daniele-giardina: There is a branch linked to this bug which is suppose to deal with your problem. Please give it a try if you are able?