- Fix data types in Preferences dialog
- Fix extremum badness calculation
- Allow setting arrow size by setting the Glyphs defaults (default size is 10):
Glyphs.defaults["de.kutilek.RedArrow.arrowSize"] = 10Glyphs.defaults["de.kutilek.RedArrow.arrowSize"] = 10