Font size

Closed this issue 4 years ago · 1 comments

nthieberger commented 5 years ago

Is it possible to allow users to change font size?

hatton commented 4 years ago

This has shipped in v0.89