How to disable gnome3 hot topleft corner ?

[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.

I have Gnome Tweak tool, but there is no extension for disabling hotspot. 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