upstream/gnome-shell-extensions-extra
1
0
Fork 0
Code Activity

Adding 45/vertical-workspaces version 37+20240412 [9b05a79].

Browse source 
Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-03-24 19:43:11 +01:00
parent 155878f41e
commit 9a6f4265d9
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
37 changed files with 3192 additions and 3142 deletions
Download patch file Download diff file Expand all files Collapse all files

82
extensions/45/vertical-workspaces/lib/layout.js
View file

@ -3,7 +3,7 @@
* layout.js
*
* @author GdH <G-dH@github.com>
* @copyright 2022 - 2023
* @copyright 2022 - 2024
* @license GPL-3.0
*
*/
@ -127,23 +127,30 @@ const LayoutManagerCommon = {
return;
if (this.panelBox.height) {
const backend = !!Meta.Barrier.prototype.backend;
let params = {};
if (backend)
params['backend'] = global.backend;
else
params['display'] = global.display;
let primary = this.primaryMonitor;
if ([0, 1, 3].includes(opt.HOT_CORNER_POSITION)) {
this._rightPanelBarrier = new Meta.Barrier({
display: global.display,
params = Object.assign({}, params, {
x1: primary.x + primary.width, y1: this.panelBox.allocation.y1,
x2: primary.x + primary.width, y2: this.panelBox.allocation.y2,
directions: Meta.BarrierDirection.NEGATIVE_X,
});
this._rightPanelBarrier = new Meta.Barrier(params);
}
if ([2, 4].includes(opt.HOT_CORNER_POSITION)) {
this._leftPanelBarrier = new Meta.Barrier({
display: global.display,
params = Object.assign({}, params, {
x1: primary.x, y1: this.panelBox.allocation.y1,
x2: primary.x, y2: this.panelBox.allocation.y2,
directions: Meta.BarrierDirection.POSITIVE_X,
});
this._leftPanelBarrier = new Meta.Barrier(params);
}
}
},
@ -276,50 +283,65 @@ const HotCornerCommon = {
const extendV = opt && opt.HOT_CORNER_ACTION && opt.HOT_CORNER_EDGE && opt.DASH_VERTICAL && monitor.index === primaryMonitor;
const extendH = opt && opt.HOT_CORNER_ACTION && opt.HOT_CORNER_EDGE && !opt.DASH_VERTICAL && monitor.index === primaryMonitor;
const backend = !!Meta.Barrier.prototype.backend;
let params = {};
if (backend)
params['backend'] = global.backend;
else
params['display'] = global.display;
if (opt.HOT_CORNER_POSITION <= 1) {
this._verticalBarrier = new Meta.Barrier({
display: global.display,
x1: this._x, x2: this._x, y1: this._y, y2: this._y + (extendV ? monitor.height : size),
params = Object.assign({}, params, {
x1: this._x, x2: this._x,
y1: this._y, y2: this._y + (extendV ? monitor.height : size),
directions: Meta.BarrierDirection.POSITIVE_X,
});
this._horizontalBarrier = new Meta.Barrier({
display: global.display,
x1: this._x, x2: this._x + (extendH ? monitor.width : size), y1: this._y, y2: this._y,
this._verticalBarrier = new Meta.Barrier(params);
params = Object.assign({}, params, {
x1: this._x, x2: this._x + (extendH ? monitor.width : size),
y1: this._y, y2: this._y,
directions: Meta.BarrierDirection.POSITIVE_Y,
});
this._horizontalBarrier = new Meta.Barrier(params);
} else if (opt.HOT_CORNER_POSITION === 2) {
this._verticalBarrier = new Meta.Barrier({
display: global.display,
x1: this._x, x2: this._x, y1: this._y, y2: this._y + (extendV ? monitor.height : size),
params = Object.assign({}, params, {
x1: this._x, x2: this._x,
y1: this._y, y2: this._y + (extendV ? monitor.height : size),
directions: Meta.BarrierDirection.NEGATIVE_X,
});
this._horizontalBarrier = new Meta.Barrier({
display: global.display,
x1: this._x - size, x2: this._x, y1: this._y, y2: this._y,
this._verticalBarrier = new Meta.Barrier(params);
params = Object.assign({}, params, {
x1: this._x - size, x2: this._x,
y1: this._y, y2: this._y,
directions: Meta.BarrierDirection.POSITIVE_Y,
});
this._horizontalBarrier = new Meta.Barrier(params);
} else if (opt.HOT_CORNER_POSITION === 3) {
this._verticalBarrier = new Meta.Barrier({
display: global.display,
x1: this._x, x2: this._x, y1: this._y, y2: this._y - size,
params = Object.assign({}, params, {
x1: this._x, x2: this._x,
y1: this._y, y2: this._y - size,
directions: Meta.BarrierDirection.POSITIVE_X,
});
this._horizontalBarrier = new Meta.Barrier({
display: global.display,
x1: this._x, x2: this._x + (extendH ? monitor.width : size), y1: this._y, y2: this._y,
this._verticalBarrier = new Meta.Barrier(params);
params = Object.assign({}, params, {
x1: this._x, x2: this._x + (extendH ? monitor.width : size),
y1: this._y, y2: this._y,
directions: Meta.BarrierDirection.NEGATIVE_Y,
});
this._horizontalBarrier = new Meta.Barrier(params);
} else if (opt.HOT_CORNER_POSITION === 4) {
this._verticalBarrier = new Meta.Barrier({
display: global.display,
x1: this._x, x2: this._x, y1: this._y, y2: this._y - size,
params = Object.assign({}, params, {
x1: this._x, x2: this._x,
y1: this._y, y2: this._y - size,
directions: Meta.BarrierDirection.NEGATIVE_X,
});
this._horizontalBarrier = new Meta.Barrier({
display: global.display,
x1: this._x, x2: this._x - size, y1: this._y, y2: this._y,
this._verticalBarrier = new Meta.Barrier(params);
params = Object.assign({}, params, {
x1: this._x, x2: this._x - size,
y1: this._y, y2: this._y,
directions: Meta.BarrierDirection.NEGATIVE_Y,
});
this._horizontalBarrier = new Meta.Barrier(params);
}
this._pressureBarrier.addBarrier(this._verticalBarrier);
@ -431,7 +453,7 @@ const HotCornerCommon = {
},
_toggleWindowSearchProvider() {
if (!Main.overview._overview._controls._searchController._searchActive) {
if (!Main.overview.searchController._searchActive) {
opt.OVERVIEW_MODE = 2;
opt.OVERVIEW_MODE2 = true;
opt.WORKSPACE_MODE = 0;