Disable gnome-shell hotspot

I hate the new hot spot on gnome-shell. and as always with gnome, no option to disable it. here is a quick & ugly patch to accomplish that:

--- /usr/share/gnome-shell/js/ui/panel.org.js	2011-05-04 15:03:01.982247999 +0300
+++ /usr/share/gnome-shell/js/ui/panel.js	2011-05-04 15:03:13.175520693 +0300
@@ -761,7 +761,7 @@
     },
 
     _onCornerEntered : function() {
-        if (!this._entered) {
+        if (this._entered) {
             this._entered = true;
             if (!Main.overview.animationInProgress) {
                 this._activationTime = Date.now() / 1000;

About these ads