[Feature Request] Pressure reveal option

[sangmin7648]

First of all, thank you for the extension. I didn't know this seemingly simple feature is what I needed instead of waiting for Dash to Dock to be converted for Gnome 40.

Pressure reveal would be a nice option for the extension though, since it currently triggers activities view whenever my cursor just barely touches the bottom.

[sangmin7648]

Oops, my bad. Don't know javascript or gnome extensions development but the option seems to be there and just changing HOT_EDGE_PRESSURE_THRESHOLD worked. Sorry to bother you before properly checking first

[jdoda]

No worries. Currently the hot edge is activated by pressure. It uses the same pressure settings as the existing hot corner. I think what you're seeing is just that it doesn't require very much pressure to activate the hot edge. The amount of pressure is a constant that's defined in extension.js. If you want to change the amount of pressure required, you can change that value in extension.js directly and then log in / log out (as you discovered).

I would like to make that value tunable without modifying the extension (since that's not very discoverable, and won't survive extension updates), though, so that's something that will come in a future version.