add preferences panel entry for default fontsize of new patch (#503) · Issues · Jonathan Wilkes / purr-data