search

jdoda / hotedge

A GNOME Shell extension that replaces the top-left hot corner with a bottom hot edge.
GNU General Public License v2.0
60 stars 5 forks source link

[Feature Request] Pressure reveal option #3

Closed sangmin7648 closed 3 years ago

sangmin7648 commented 3 years ago

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 commented 3 years ago

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 commented 3 years ago

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.