|
 |
441107 |
From 35cbad572120125d3b823f37d2100b2beee4c1d8 Mon Sep 17 00:00:00 2001
|
|
|
441107 |
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
|
|
|
441107 |
Date: Thu, 8 Jun 2017 17:07:56 +0200
|
|
|
441107 |
Subject: [PATCH] layout: Make the hot corner optional
|
|
|
441107 |
|
|
|
441107 |
Whether people love or hate the hot corner depends in large extents
|
|
|
441107 |
on hardware sensitivity and habits, which is hard to get right
|
|
|
441107 |
universally. So bite the bullet and support an option to enable or
|
|
|
441107 |
disable hot corners ...
|
|
|
441107 |
|
|
|
441107 |
https://bugzilla.gnome.org/show_bug.cgi?id=688320
|
|
|
441107 |
---
|
|
|
441107 |
js/ui/layout.js | 14 +++++++++++++-
|
|
|
441107 |
1 file changed, 13 insertions(+), 1 deletion(-)
|
|
|
441107 |
|
|
|
441107 |
diff --git a/js/ui/layout.js b/js/ui/layout.js
|
|
|
441107 |
index 2b3bb7442..beb4c0a5d 100644
|
|
|
441107 |
--- a/js/ui/layout.js
|
|
|
441107 |
+++ b/js/ui/layout.js
|
|
|
441107 |
@@ -1,6 +1,6 @@
|
|
|
441107 |
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
|
|
441107 |
|
|
|
441107 |
-const { Clutter, GLib, GObject, Meta, Shell, St } = imports.gi;
|
|
|
441107 |
+const { Clutter, Gio, GLib, GObject, Meta, Shell, St } = imports.gi;
|
|
|
441107 |
const Signals = imports.signals;
|
|
|
441107 |
|
|
|
441107 |
const Background = imports.ui.background;
|
|
|
441107 |
@@ -267,6 +267,13 @@ var LayoutManager = GObject.registerClass({
|
|
|
441107 |
this._backgroundGroup.lower_bottom();
|
|
|
441107 |
this._bgManagers = [];
|
|
|
441107 |
|
|
|
441107 |
+ this._interfaceSettings = new Gio.Settings({
|
|
|
441107 |
+ schema_id: 'org.gnome.desktop.interface'
|
|
|
441107 |
+ });
|
|
|
441107 |
+
|
|
|
441107 |
+ this._interfaceSettings.connect('changed::enable-hot-corners',
|
|
|
441107 |
+ this._updateHotCorners.bind(this));
|
|
|
441107 |
+
|
|
|
441107 |
// Need to update struts on new workspaces when they are added
|
|
|
441107 |
let workspaceManager = global.workspace_manager;
|
|
|
441107 |
workspaceManager.connect('notify::n-workspaces',
|
|
|
441107 |
@@ -358,6 +365,11 @@ var LayoutManager = GObject.registerClass({
|
|
|
441107 |
});
|
|
|
441107 |
this.hotCorners = [];
|
|
|
441107 |
|
|
|
441107 |
+ if (!this._interfaceSettings.get_boolean('enable-hot-corners')) {
|
|
|
441107 |
+ this.emit('hot-corners-changed');
|
|
|
441107 |
+ return;
|
|
|
441107 |
+ }
|
|
|
441107 |
+
|
|
|
441107 |
let size = this.panelBox.height;
|
|
|
441107 |
|
|
|
441107 |
// build new hot corners
|
|
|
441107 |
--
|
|
|
441107 |
2.21.0
|
|
|
441107 |
|