I've have "Hot Corner" enabled via Settings ... Multitasking ... General
I want to tweak the sensitivity or size of the trigger area so I don't launch Activities Overview inadvertently as frequently as I do now.
"Hot Corner" options are not in gnome-tweaks. This question references an extension which extensions.gnome.org says is Incompatible and the author no longer maintains. And so far none of these results reference a config file or key which I would prefer to an extension anyway.
My env:
- GNOME 42.5 / X11
- Ubuntu 22.04
gnome-tweaks
42.beta
A
gsettings
/deconf
key helps narrow my search - much obliged, muru.xdotool
is another avenue noted in this thread.@ on or off, I recall there being options for 0) delay before triggering and 1) trigger area size in pixels, but not the specific tools, keys, parameters, and it might've been for another desktop environment.
– smcnally Feb 04 '23 at 21:34