edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-18 07:34:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

layout: Update cover pane and and clipping during startup animation

Browse source 
If monitor changes while we're performing the startup animation we
should keep its clipping and the cover pane sizes in sync
This commit is contained in:
Marco Trevisan (Treviño) 2023-05-15 16:18:21 +02:00
parent 66239334c3
commit 26da7c135a
1 changed files with 27 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

38
js/ui/layout.js
View file

@ -738,20 +738,23 @@ var LayoutManager = GObject.registerClass({
} else {
this.keyboardBox.hide();
let monitor = this.primaryMonitor;
const prepareMonitor = monitor => {
if (!Main.sessionMode.hasOverview) {
const x = monitor.x + monitor.width / 2.0;
const y = monitor.y + monitor.height / 2.0;
if (!Main.sessionMode.hasOverview) {
const x = monitor.x + monitor.width / 2.0;
const y = monitor.y + monitor.height / 2.0;
this.uiGroup.set_pivot_point(
x / global.screen_width,
y / global.screen_height);
this.uiGroup.scale_x = this.uiGroup.scale_y = 0.75;
this.uiGroup.opacity = 0;
}
this.uiGroup.set_pivot_point(
x / global.screen_width,
y / global.screen_height);
this.uiGroup.scale_x = this.uiGroup.scale_y = 0.75;
this.uiGroup.opacity = 0;
}
global.window_group.set_clip(monitor.x, monitor.y,
monitor.width, monitor.height);
};
global.window_group.set_clip(monitor.x, monitor.y, monitor.width, monitor.height);
prepareMonitor(this.primaryMonitor);
try {
await this._updateBackgrounds();
@ -764,6 +767,14 @@ var LayoutManager = GObject.registerClass({
logError(e);
return;
}
this._startupMonitorsChangedId = this.connect('monitors-changed', () => {
this._coverPane.set({
width: global.screen_width,
height: global.screen_height,
});
prepareMonitor(this.primaryMonitor);
});
}
// Hack: Work around grab issue when testing greeter UI in nested
@ -820,6 +831,11 @@ var LayoutManager = GObject.registerClass({
this.keyboardBox.show();
if (this._startupMonitorsChangedId) {
this.disconnect(this._startupMonitorsChangedId);
this._startupMonitorsChangedId = 0;
}
if (!Main.sessionMode.isGreeter) {
this._showSecondaryBackgrounds();
global.window_group.remove_clip();