For general purposes, the autohide timing does what it says. With a pager, we can do more than select a window by moving apps from one place to another. This requires a longer time before autohide, for example, + I autohide V2x8Pager 3000 E. For the general 200 is fine, but 3000 becomes annoying waiting time.
Is there a setting, that the cursor blocks the autohide as long as it is pointed at the pager?
