[gnome-shell] workspacesView: Only clip non-primary workspace views
- From: Marge Bot <marge-bot src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] workspacesView: Only clip non-primary workspace views
- Date: Sun, 21 Feb 2021 15:58:55 +0000 (UTC)
commit 9d4f017248fb64d6ca6c7dd350ab833fe99c3a21
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date: Thu Feb 18 19:01:32 2021 -0300
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: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1691>
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 0bc25251c1..c4b3d82528 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(),
});
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]