From 7f90a46f8c2dbac4e1bee463cfcdaf6237271518 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= Date: Wed, 3 Mar 2021 12:37:51 +0100 Subject: [PATCH] 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: --- 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 502590418..f34e6d838 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());