How to disable gnome3 hotspot

[Manish Jain]

Hi,

I am using gnome3 desktop environment on my FreeBSD 10.3 desktop system. I
am fairly certain that there would be others who have been greatly
disconcerted by the topleft Hot Corner. It drives me nuts whenever my
mouse accidentally touches the topleft corner.

That gnome developers spent their time and resoucrces developing hotspot 
is regrettable. That hotpsot is enabled by default is doubly regrettable. That
Gnome3 has no inherent setting for disabling hotspot - neither in the UI
nor in the tweak tool, makes it triply regrettable. Level 4 regrets 
happen too becuase there is an extension available at extensions.gnome.org
for disabling hotpot. That extension used to work with my earlier FreeBSD/gnome
environment, but now does not. Yesterday, I visited the extension's home page
several times in firefox (which has the Gnome Extensions plugin installed and
activation mode set to 'Always'). Installing the No TopLeft HotCorner 
extension via firefox apparently succeeds - there is no error message. 
But, in truth, nothing happens - hotspot continues to make a mess of the desktop.

I have tried disabling the extension via chrome too, but visiting the 
extension's website in chrome reports a problem with the native connector.
I installed the Gnome Shell Integration Plugin for Chrome as per the
documentation at the wiki URL, but when I visit the extension URL, I get 
the message : Although GNOME Shell integration extension is running, native
host connector is not detected.

Is there any way I can disable the topleft hot corner ?

In the long run, perhaps FreeBSD could create a separate port somewhere 
under x11* or desktutils which would natively disable hotspot.

Thanks for any help
Manish Jain