Pressure trigger

[gaussandhisgun]

Some things, like Dash To Dock, require you to "push" onto the screen edge (as in, actively move your mouse directly into the screen edge) to activate. This is useful for possible things that require you to idk click onto the screen edge or something. I haven't actually seen any apps do that for the bottom edge, but i know virt-manager does exactly this for the top - you need to hover the top edge to see the Unfullscreen button, but as it is now, your extension shows the status bar instead. Maybe we can get some kind of push trigger, so user can tap lightly onto the edge to see the virt-manager's things or mash the mouse hard to show the status bar?

[marcinjahn]

Hi,
Right, I’d definitely be open to see someone contribute to add that option, probably as a configurable setting. At the moment, the „pressure” needed to activate the top bar is hardcoded, and it is at a rather low value, so it could interfere with other apps that have higher pressure configuration.

So, if someone is up to it, feel free to submit a PR, it shouldn’t be too much work. Otherwise I’ll probably add it myself, but it might not be too quick for me to find a free moment.

[gaussandhisgun]

oh, right, there is a pressure trigger in the sources, but from what i see by force setting it to 200, even if it is on, the apps that would rely on you hitting the top edge with your mouse - like, fullscreen Firefox - will still refuse to register that. 🤔

[marcinjahn]

Hmm, maybe there is some kind of priority configuration, although I doubt there is.

Probably it’d be a good idea to check some other extensions that add edge triggers, and verify if they have the same issue. I remember there was this one extension that allows you to configure every edge and corner of your desktop to trigger some specified actions, it had lots of configuration options. Unfortunately, I don’t remember its name at the moment, I’ll try to find it later.