[gnome-shell/gnome-3-28] workspace: Don't initially hide the title of window overlays
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/gnome-3-28] workspace: Don't initially hide the title of window overlays
- Date: Mon, 3 Sep 2018 23:24:26 +0000 (UTC)
commit f30ec4a4c84ab760323e77f319d8bb4eebd06133
Author: verdre <gitlab v0yd nl>
Date: Tue Aug 28 21:02:35 2018 +0200
workspace: Don't initially hide the title of window overlays
To be able to read the properties of the title correctly during the
first relayout of the overlay, the title, just like the border, can't be
hidden. Otherwise the title can be misaligned some pixels to the left
sometimes.
This slighty worsens the issue that windows moved to a separate
workspace using DND will show an overlay when the workspace is shown in
the overview even though no window is pointed at. Before this commit,
only the border would be visible for windows moved to another workspace,
now the title also is.
js/ui/workspace.js | 1 -
1 file changed, 1 deletion(-)
---
diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index d57e9acd8..06f2041c0 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -470,7 +470,6 @@ var WindowOverlay = new Lang.Class({
this._windowAddedId = 0;
button.hide();
- title.hide();
this.title = title;
this.closeButton = button;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]