[gnome-shell-extensions] native-window-placement: Make sure that the border does not overlap the title



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]