From 9d4f017248fb64d6ca6c7dd350ab833fe99c3a21 Mon Sep 17 00:00:00 2001 From: Georges Basile Stavracas Neto Date: Thu, 18 Feb 2021 19:01:32 -0300 Subject: [PATCH] workspacesView: Only clip non-primary workspace views The primary workspace is displayed in the overview, and clipping it ends up clipping the shadows too. Since Overview's ControlsManager itself clips to allocation, no windows in the primary monitor spill to other monitors. However, not clipping non-primary monitors might end up in situations where their windows spill into the primary one. Make sure to only clip workspace views of non-primary monitors. Part-of: --- js/ui/workspacesView.js | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js index 0bc25251c..c4b3d8252 100644 --- a/js/ui/workspacesView.js +++ b/js/ui/workspacesView.js @@ -24,7 +24,7 @@ var WorkspacesViewBase = GObject.registerClass({ _init(monitorIndex, overviewAdjustment) { super._init({ style_class: 'workspaces-view', - clip_to_allocation: true, + clip_to_allocation: monitorIndex !== Main.layoutManager.primaryIndex, x_expand: true, y_expand: true, }); @@ -581,7 +581,6 @@ var WorkspacesDisplay = GObject.registerClass( class WorkspacesDisplay extends St.Widget { _init(controls, scrollAdjustment, overviewAdjustment) { super._init({ - clip_to_allocation: true, layout_manager: new Clutter.BinLayout(), });