BreizhHardware/multi-monitors-add-on
1
0
Fork 0
mirror of https://github.com/BreizhHardware/multi-monitors-add-on.git synced 2026-01-18 16:47:26 +01:00
Code Issues Packages Projects Releases Wiki Activity

Added workaround for 'JS ERROR: Extension multi-monitors-add-on@spin83: Error: GSettings key enable-hot-corners not found in schema org.gnome.shell

Browse Source
This commit is contained in:
Victor Zagorski
2020-01-31 20:09:43 +07:00
parent 919353dca8
commit 0ebc1cb22b
1 changed files with 21 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
multi-monitors-add-on@spin83/mmlayout.js
View File

@@ -66,6 +66,8 @@ const MultiMonitorsPanelBox = class MultiMonitorsPanelBox {
var MultiMonitorsLayoutManager = class MultiMonitorsLayoutManager {
constructor() {
this._settings = Convenience.getSettings();
this._desktopSettings = Convenience.getSettings("org.gnome.desktop.interface");
Main.mmPanel = [];
this._monitorIds = [];
@@ -98,6 +100,7 @@ var MultiMonitorsLayoutManager = class MultiMonitorsLayoutManager {
this._layoutManager_updateHotCorners = Main.layoutManager._updateHotCorners;
let enable_hot_corners = (Main.sessionMode.currentMode == 'ubuntu');
let that = this;
Main.layoutManager._updateHotCorners = function() {
this.hotCorners.forEach((corner) => {
if (corner)
@@ -106,10 +109,17 @@ var MultiMonitorsLayoutManager = class MultiMonitorsLayoutManager {
this.hotCorners = [];
if (enable_hot_corners) {
if (!global.settings.get_boolean('enable-hot-corners')) {
this.emit('hot-corners-changed');
return;
}
try {
if (!global.settings.get_boolean('enable-hot-corners')) {
this.emit('hot-corners-changed');
return;
}
} catch (e) {
if (!that._desktopSettings.get_boolean('enable-hot-corners')) {
this.emit('hot-corners-changed');
return;
}
}
}
let size = this.panelBox.height;
@@ -129,8 +139,13 @@ var MultiMonitorsLayoutManager = class MultiMonitorsLayoutManager {
if (!this._changedEnableHotCornersId) {
if (enable_hot_corners) {
this._changedEnableHotCornersId = global.settings.connect('changed::enable-hot-corners',
Main.layoutManager._updateHotCorners.bind(Main.layoutManager));
try {
this._changedEnableHotCornersId = global.settings.connect('changed::enable-hot-corners',
Main.layoutManager._updateHotCorners.bind(Main.layoutManager));
} catch (e) {
this._changedEnableHotCornersId = this._desktopSettings.connect('changed::enable-hot-corners',
Main.layoutManager._updateHotCorners.bind(Main.layoutManager));
}
}
}