[gnome-shell/gbsneto/40-stuff: 46/68] workspace: Clip to allocation
- From: Georges Basile Stavracas Neto <gbsneto src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/gbsneto/40-stuff: 46/68] workspace: Clip to allocation
- Date: Wed, 20 Jan 2021 22:41:08 +0000 (UTC)
commit d797bb1cc5ed494235860557daac21aeac5d7121
Author: Florian Müllner <fmuellner gnome org>
Date: Tue Jun 30 16:17:17 2020 +0200
workspace: Clip to allocation
Now that we show multiple workspaces in a row, the view's clip
isn't enough to cover the case where windows are partially off-screen.
Also remove clipping from WorkspacesDisplay.
js/ui/workspace.js | 1 +
js/ui/workspacesView.js | 2 --
2 files changed, 1 insertion(+), 2 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 60e0e3a6fe..5ff2b79948 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -981,6 +981,7 @@ class Workspace extends St.Widget {
style_class: 'window-picker',
reactive: true,
track_hover: true,
+ clip_to_allocation: true,
pivot_point: new Graphene.Point({ x: 0.5, y: 0.5 }),
layout_manager: new WorkspaceLayout(metaWorkspace, monitorIndex),
});
diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index f0495c0992..f9bfda1680 100644
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -95,7 +95,6 @@ class WorkspacesView extends WorkspacesViewBase {
let workspaceManager = global.workspace_manager;
super._init(monitorIndex, overviewAdjustment);
- this.clip_to_allocation = true;
this._snapAdjustment = snapAdjustment;
this._snapNotifyId = this._snapAdjustment.connect('notify::value', () => {
@@ -490,7 +489,6 @@ class WorkspacesDisplay extends St.Widget {
super._init({
visible: false,
y_expand: true,
- clip_to_allocation: true,
layout_manager: new Clutter.BinLayout(),
});
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]