disable hot-corner hover action in Linux Mint 12

Default behavior of top left corner infinity mark icon on Linux Mint 12 is following:
Hover or click it with mouse and smart switcher will be displayed.

It is pretty annoying sometimes and I would like to disable hover action behavior.
Answer was found pretty fast here Turn off top left hot corner in Linux Mint 12
1. open file /usr/share/gnome-shell/js/ui/layout.js for edit

$ sudo vi /usr/share/gnome-shell/js/ui/layout.js

2. find lines

this._corner = new Clutter.Rectangle({ name: 'hot-corner',
width: 1,
height: 1,
opacity: 0,
reactive: true })

3. change to the following

this._corner = new Clutter.Rectangle({ name: 'hot-corner',
width: 1,
height: 1,
opacity: 0,
reactive: false }) //This is changed to false in order to disable hover action.

4.Logoff and logon to your session.