Open jxxe opened 1 year ago
8 is slightly too small and 16 is slightly too large. A size around 10–12 would be nice. Being able to set an arbitrary value would be even better.
Thanks for the suggestion. We are working on a new version of preferences, and we'll consider adding a way to set an arbitrary value.
8 is slightly too small and 16 is slightly too large. A size around 10–12 would be nice. Being able to set an arbitrary value would be even better.