This is also a bug in Scratch titlebar. See the screens there.
https://bugs.launchpad.net/scratch/+bug/1280637
This is also a bug in Scratch titlebar. See the screens there.
https:/ /bugs.launchpad .net/scratch/ +bug/1280637