[gnome-shell/wip/jimmac/dash-icon-spacing: 47/72] workspace: Clip to allocation
- From: Jakub Steiner <jimmac src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/wip/jimmac/dash-icon-spacing: 47/72] workspace: Clip to allocation
- Date: Tue, 2 Feb 2021 11:58:19 +0000 (UTC)
commit e656d0819e5944408a9238136a9b1be0463cfa63
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 fbb5b56205..06b56f8dbe 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]