在Gnome-Shell中关闭Hot-Corner

在Gnome Shell这个桌面环境中，存在一个叫做"Hot Corner"的特性。默认的位置是屏幕左上角，当鼠标移到那里的时候就会弹出一个界面，如下所示：

而如图所示，我的面板是放在顶端的，左上角的位置正好是菜单的位置，所以经常发生这种事情：我将鼠标移动到左上角想打开菜单，结果却弹出来这么一个界面。

因为位置非常接近，每次想打开菜单，我都得小心翼翼，但经常还是会点到Hot Corner上。非常烦躁。

所以下定决心要干掉它。

系统设置里压根就没设置这个东西的选项！Linux Mint的桌面环境 Cinnamon 就是从Gnome Shell中衍生出来的，然后在其设置中就提供了对Hot Corner的设置。在Google上搜索"hot corner gnome shell"，出来的结果全都是抱怨这个功能不方便和寻找关闭Hot Corner的帖子。真不知道Gnome Shell的开发团队在想什么……

到Gnome Shell扩展网站 上下载了No Topleft Hot Corner 这个扩展，然后在gnome-tweak-tool中启用了它。

然后还是没效果。

Hot Corner的实现是在 /usr/share/gnome-shell/js/ui/layout.js 中实现的，要关闭Hot Corner，只需要对下面的部分代码做出修改：

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

将最后的 "reactive" 的值修改为 "false" ，就OK了。

搞定！没了烦人的东西真是开心啊……