The format for specifying font names can be confusing; it'd be nice to have a menu bar item to select the editor font and terminal font that opens up a platform picker for fonts - this would eliminate typos or awkwardness with the configuration setting (like, spaces needing to be escaped).
The format for specifying font names can be confusing; it'd be nice to have a menu bar item to select the editor font and terminal font that opens up a platform picker for fonts - this would eliminate typos or awkwardness with the configuration setting (like, spaces needing to be escaped).