Disattivare "hot-corner" in Gnome 3.2 Debian Sid

Io l'ho disattivato perchè lo trovo scomodo, preferisco essere io premendo su "Attività" , ad ottenere la stessa cosa.

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

e cambiare da "true" a "false", come sotto:

da così:

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

a così:

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

enjoy 😉

Autore: Franco Conidi aka edmond

Senior System Integrator, Network Administrator, Sys Admin Linux, Linux User, Consulente Informatico. Vedi tutti gli articoli di Franco Conidi aka edmond