fix main window sizing in GNOME
fix main window sizing in GNOME

walterbender/turtleartmini,AlanJAS/turtleart,walterbender/turtleart,walterbender/AmazonasTortuga,walterbender/turtleconfusion,walterbender/turtleflags,walterbender/turtle3D