[gnome-shell] workspacesView: Clip the SecondaryMonitorDisplay instead of the view
- From: Marge Bot <marge-bot src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] workspacesView: Clip the SecondaryMonitorDisplay instead of the view
- Date: Tue, 4 May 2021 14:21:00 +0000 (UTC)
commit 7f90a46f8c2dbac4e1bee463cfcdaf6237271518
Author: Jonas Dreßler <verdre v0yd nl>
Date: Wed Mar 3 12:37:51 2021 +0100
workspacesView: Clip the SecondaryMonitorDisplay instead of the view
Make the SecondaryMonitorDisplay a bit more similar to the
ControlsManager container on the primary monitor, and clip that widget
instead of the WorkspacesViews on secondary monitors.
This will allow us to overpaint the WorkspacesView allocation and paint
the WindowPreview overlays like the title and close button outside the
allocation with the next commit.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1813>
js/ui/workspacesView.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 5025904187..f34e6d8384 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -28,7 +28,6 @@ var WorkspacesViewBase = GObject.registerClass({
_init(monitorIndex, overviewAdjustment) {
super._init({
style_class: 'workspaces-view',
- clip_to_allocation: monitorIndex !== Main.layoutManager.primaryIndex,
x_expand: true,
y_expand: true,
});
@@ -615,6 +614,7 @@ class SecondaryMonitorDisplay extends St.Widget {
index: this._monitorIndex,
work_area: true,
}),
+ clip_to_allocation: true,
});
this.connect('destroy', () => this._onDestroy());
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]