Closed DariusMuscalu closed 1 year ago
We want the users to get to choose what font family their editor has. So we need to create an option to change between multiple fonts.
We want the users to get to choose what font family their editor has. So we need to create an option to change between multiple fonts.