Title bar/menu problem on 14.04

[Oliver Grawert]

hi,

also, not unrelated to this thread, you might like this new feature
coming in 16.04 ;)

https://plus.google.com/+MohanRam/posts/gWHxvaBPaio

ciao
	oli