Provide option to choose font size #1
Description
Different people like different font sizes; it is a matter of basic accessibility.
This will by definition maintain sphere size optimization, but will require a refresh to the display for that optimization to immediately take effect.
Further an optimal solution may entail checking which nodes already show text inside of them, and only resize those ones, to maintain the placidity of the already rendered display. The latter option may require refactoring display functionality or would just not make sense unless the code becomes well-factored for reusing functionality for this and similar needs, while at it.