Add "hide-delay" setting

[Rico Tzschichholz]

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.

[Rico Tzschichholz (ricotz)]

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?

[Daniele Giardina (daniele-giardina)]

Don't know how to use the branch, sorry :(

[Rico Tzschichholz (ricotz)]

daniele-giardina: Ok, which distribution version are you using. Maybe I can provide prebuilt packages for testing.

[Daniele Giardina (daniele-giardina)]

currently using Arch

[Daniele Giardina (daniele-giardina)]

oook found how to build things from custom sources on Arch:

testing revision 1162, i'll give you feedback

[Rico Tzschichholz (ricotz)]

daniele-giardina: Thanks, were you able to test it yet?

[Daniele Giardina (daniele-giardina)]

yes tested under archlinux/gnome3 & kde

perfect, it is just the option I need.

I only made a slight change in the code to make it work to my needs in between compiling and testing attached you find hidemanager.vala modified by me

[Rico Tzschichholz (ricotz)]

daniele-giardina: Thanks for testing! What value for HideDelay did you choose?

Changing the UPDATE_TIMEOUT in HideManager is not debatable ;) and will stay at 200ms. But I see what you are achieving with it.
It is better to drop the pointer_update check for hide() to avoid this differentiation of "triggered by windows or mouse".

Setting INTERACTION_TIMEOUT to 0 kind of make the seconds commit of the branch useless. I feared that it defeats your purpose of the setting in your use case, but it provides a "short-cut" for fast-paced users who already performed an action (click/scroll) and want to move on.