[gnome-shell/wip/aday/app-grid-layout] workspacesView: Only clip non-primary workspace views
- From: Allan Day <allanday src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/wip/aday/app-grid-layout] workspacesView: Only clip non-primary workspace views
- Date: Mon, 22 Feb 2021 10:20:28 +0000 (UTC)
commit 998fada028b7ad03960acfcbf381bc0cc33aaacc
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]