brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

layout: Fix off-by-one indent

Browse Source 
This sneaked into commit dbb71f0d :-(
This commit is contained in:
Florian Müllner 2019-07-11 03:01:40 +02:00
parent 6ba03ac2a6
commit 74feb110b5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
js/ui/layout.js
View File

@ -278,8 +278,8 @@ var LayoutManager = GObject.registerClass({
schema_id: 'org.gnome.desktop.interface' schema_id: 'org.gnome.desktop.interface'
}); });
this._interfaceSettings.connect('changed::enable-hot-corners', this._interfaceSettings.connect('changed::enable-hot-corners',
this._updateHotCorners.bind(this)); this._updateHotCorners.bind(this));
// Need to update struts on new workspaces when they are added // Need to update struts on new workspaces when they are added
let workspaceManager = global.workspace_manager; let workspaceManager = global.workspace_manager;