[gnome-shell-extensions] native-window-placement: Make sure that the border does not overlap the title
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] native-window-placement: Make sure that the border does not overlap the title
- Date: Fri, 4 Dec 2015 10:39:10 +0000 (UTC)
commit 2b9ea7519b0a9441c05d98d600d881d7e5caa592
Author: Florian Müllner <fmuellner gnome org>
Date: Fri Dec 4 11:01:33 2015 +0100
native-window-placement: Make sure that the border does not overlap the title
https://bugzilla.gnome.org/show_bug.cgi?id=758976
extensions/native-window-placement/extension.js | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/extensions/native-window-placement/extension.js b/extensions/native-window-placement/extension.js
index fa61b01..da911ba 100644
--- a/extensions/native-window-placement/extension.js
+++ b/extensions/native-window-placement/extension.js
@@ -409,6 +409,9 @@ function enable() {
Workspace.WindowOverlay.prototype.relayout = function(animate) {
winInjections['relayout'].call(this, animate);
let title = this.title;
+ let border = this.border;
+
+ this._parentActor.set_child_above_sibling(title, border);
Tweener.removeTweens(title);
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]