<div dir="ltr"><div class="gmail_quote">On Fri, Apr 10, 2015 at 4:59 PM Bazon Bloch <<a href="mailto:bazonbloch@arcor.de">bazonbloch@arcor.de</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">This is probably related to  <a href="https://blogs.gnome.org/fmuellner/2015/01/30/a-small-note-on-window-decorations/" target="_blank">https://blogs.gnome.org/fmuellner/2015/01/30/a-small-note-on-window-decorations/</a></blockquote><div><br></div><div>No, it's definitively not related. That post is about a change in how mutter/gnome-shell draws server-side decorations, so it has absolutely no effect<br></div><div>  (1) when using a different window manager<br></div><div>  (2) for applications that are not decorated by the window manager<br><br></div><div>In this case, both (1) and (2) apply ...<br></div></div></div>