add preferences panel entry for default fontsize of new patch