[gnome-shell] workspace: Remove no longer valid comment
- From: Georges Basile Stavracas Neto <gbsneto src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] workspace: Remove no longer valid comment
- Date: Thu, 4 Jun 2020 17:50:50 +0000 (UTC)
commit 4582d7a183183df982bb48edbe5cd8e3972236fc
Author: Jonas Dreßler <verdre v0yd nl>
Date: Tue Jun 2 10:29:19 2020 +0200
workspace: Remove no longer valid comment
This comment is no longer correct, we're not inserting any actors here
to adjust for the window border, but we're modifying the allocation of
the children to adjust for that border.
Since that happens in the layout manager anyway, remove the comment
here.
https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1297
js/ui/workspace.js | 4 ----
1 file changed, 4 deletions(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 859e579bbb..fccb5c5608 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -182,10 +182,6 @@ var WindowClone = GObject.registerClass({
this.metaWindow._delegate = this;
this._workspace = workspace;
- // The MetaShapedTexture that we clone has a size that includes
- // the invisible border; this is inconvenient; rather than trying
- // to compensate all over the place we insert a ClutterActor into
- // the hierarchy that is sized to only the visible portion.
super._init({
reactive: true,
can_focus: true,
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]