Closed 12people closed 1 month ago
I'd like to change the font and font size that the editor uses, but it's not clear how to do that or if it's even possible.
It'd be great to have some documentation for this.
I'd like to change the font and font size that the editor uses, but it's not clear how to do that or if it's even possible.
It'd be great to have some documentation for this.