squeeze a bit more space out of toolbars when running in GNOME
squeeze a bit more space out of toolbars when running in GNOME

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