Re: delaying hot-corner activation

[João Felipe <joaofelipenp gmail com>]

Bidossessi SODONON <bidossessi.sodonon@...> writes:

> 
> I don't know if this affects other gnome-shell users, but here is the thing:
> I use a laptop with a trackpad.
> I never call the activities overlay with the hot-corner, i always use 
> the super key for that.
> Unfortunately, when, for some reason, I try to click on the "file" menu 
> of a maximized window, 4 times out of 5 I overshoot, and out pops the 
> overlay. It's not a big deal, just ...annoying at times.
> I believe setting a timeout to the hot-corner would be a solution. It 
> shouldn' t have to be long; just time enough to adjust the mouse.
> 

Hi, maybe that is too late, but...
I did a Gnome Shell Extension that disables hot corner touch by mouse. 
(You still can click or use super key)

You can download (disablehotcorner joaofelipenp gmail com) from here:
https://github.com/JoaoFelipe/Gnome-Shell-Extensions/