Closed lukego closed 5 years ago
Not yet. However, we are working on theming, and changing fonts should be covered with that work #243
Is there a hacky workaround? On a high-resolution display (native res, not retina) I find gtoolkit hard to use because everything is so small. It would look gorgeous if everything could be rendered a little larger even under morphic.
Is there a way to increase the default font size used in GToolkit such that it applies to Documenter, Inspector, etc?