Open astro-jingtao opened 2 years ago
The default font size is bit small for me, I think it is more flexible if it is settable.
The default font size is bit small for me, I think it is more flexible if it is settable.