Increased the size of edit_gpsfilter_area_splash, so that the text fits.