Initial fork commit
Document menubar height and fix for GTK+ 3