[Feature Request] Pressure reveal option about hotedge

[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.

[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