layout: Update size of uiGroup upon monitors-changed event

Previously the size of uiGroup was not updated when the configuration of
monitors changed, leading to incorrect rendering of elements that have
constraints depending on uiGroup. Thus properly update the size of
uiGroup upon monitors-changed event.
This commit is contained in:
Weifeng Liu 2024-05-23 20:25:45 +08:00
parent 559d38c259
commit fcc3820f74

View file

@ -566,6 +566,10 @@ export const LayoutManager = GObject.registerClass({
this.keyboardIndex = this.primaryIndex;
}
_updateUiGroups() {
this.uiGroup.set_size(global.screen_width, global.screen_height);
}
_panelBoxChanged() {
this._updatePanelBarrier();
@ -604,6 +608,7 @@ export const LayoutManager = GObject.registerClass({
_monitorsChanged() {
this._updateMonitors();
this._updateBoxes();
this._updateUiGroups();
this._updateHotCorners();
this._updateBackgrounds();
this._updateFullscreen();