From 74feb110b52d1c934f1d3073d2efab38d37c8956 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Thu, 11 Jul 2019 03:01:40 +0200 Subject: [PATCH] layout: Fix off-by-one indent This sneaked into commit dbb71f0d :-( --- js/ui/layout.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/js/ui/layout.js b/js/ui/layout.js index 8430cb899..dafcf8fb4 100644 --- a/js/ui/layout.js +++ b/js/ui/layout.js @@ -278,8 +278,8 @@ var LayoutManager = GObject.registerClass({ schema_id: 'org.gnome.desktop.interface' }); - this._interfaceSettings.connect('changed::enable-hot-corners', - this._updateHotCorners.bind(this)); + this._interfaceSettings.connect('changed::enable-hot-corners', + this._updateHotCorners.bind(this)); // Need to update struts on new workspaces when they are added let workspaceManager = global.workspace_manager;