[Feature request] Make sensitivity to activate the dock editable

[agustincerezo]

Here is my idea: In dash to dock extension, it is possible to edit the sensibility to "pop up" the dock when intelligently hide or always hide is activated. With the actual value, some times the dock doesn't appear when I pass the mouse. Thanks and good work!

[KRC2000]

That would be great, I think the pressure that you need to make to reveal dock is too much. Really hope there will be some kind of setting to change amount of pressure. Or maybe there are some variable in some config file that we can change?

[adil192]

@agustincerezo @KRC2000 Using dconf Editor, search for pressure-threshold and click /org/gnome/shell/extensions/dash-to-dock/pressure-threshold. The default pressure is 100, what pressure do you think would be better?