Open jaradc opened 4 years ago
Is there a way to change the editor's default font size? Some configuration parameter perhaps?
Is there a way to change the editor's default font size? Some configuration parameter perhaps?