On Fri, 01 Apr 2016 at 15:52:31 +0100, Simon McVittie wrote:
> 1. Log in to GNOME (Wayland) session; I'm using gnome-session 3.20
>    where this is just called "GNOME"

This appears to be triggered by client-side decorations, which are
always-on in Wayland, but can also be enabled on X11 via

GTK_CSD=1 GDK_BACKEND=x11 /usr/lib/gnome-terminal/gnome-terminal-server &
GTK_CSD=1 GDK_BACKEND=x11 gnome-terminal

    S

Reply via email to