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

Fix Issue #140 breaks gnome-shell when on X.org

Browse Source
This commit is contained in:
spin83
2020-12-05 13:45:01 +01:00
parent b326bb3e67
commit f8343948ab
2 changed files with 7 additions and 33 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
multi-monitors-add-on@spin83/metadata.json
View File

@@ -6,5 +6,5 @@
"gettext-domain": "multi-monitors-add-on",
"description": "Add multiple monitors overview and panel for gnome-shell.",
"url": "https://github.com/spin83/multi-monitors-add-on.git",
"version": 22
"version": 22.1
}

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

@@ -21,46 +21,20 @@ var ENABLE_HOT_CORNERS = 'enable-hot-corners';
const MultiMonitorsPanelBox = class MultiMonitorsPanelBox {
constructor(monitor) {
this._rightPanelBarrier = null;
this.panelBox = new St.BoxLayout({ name: 'panelBox', vertical: true, clip_to_allocation: true });
Main.layoutManager.addChrome(this.panelBox, { affectsStruts: true, trackFullscreen: true });
this.panelBox.set_position(monitor.x, monitor.y);
this.panelBox.set_size(monitor.width, -1);
Main.uiGroup.set_child_below_sibling(this.panelBox, Main.layoutManager.panelBox);
this._panelBoxChangedId = this.panelBox.connect('notify::allocation', this._panelBoxChanged.bind(this));
}
destroy() {
if (this._rightPanelBarrier) {
this._rightPanelBarrier.destroy();
this._rightPanelBarrier = null;
}
destroy() {
this.panelBox.destroy();
}
this.panelBox.disconnect(this._panelBoxChangedId);
this.panelBox.destroy();
}
updatePanel(monitor) {
this.panelBox.set_position(monitor.x, monitor.y);
this.panelBox.set_size(monitor.width, -1);
}
_panelBoxChanged() {
if (this._rightPanelBarrier) {
this._rightPanelBarrier.destroy();
this._rightPanelBarrier = null;
}
const [x, y] = this.panelBox.get_transformed_position();
const width = this.panelBox.allocation.get_width();
if (this.panelBox.height) {
this._rightPanelBarrier = new Meta.Barrier({ display: global.display,
x1: x + width, y1: y,
x2: x + width, y2: y + this.panelBox.height,
directions: Meta.BarrierDirection.NEGATIVE_X });
}
updatePanel(monitor) {
this.panelBox.set_position(monitor.x, monitor.y);
this.panelBox.set_size(monitor.width, -1);
}
};