On 6 Jul 2015, at 15:20, Jon Clayden wrote:
OK, so the choice of font via the menu is persistent? I was always under the impression that ~/.tm_properties was the "correct" way of setting a default font, since an (admittedly old) blog post seems to document it as such. If not I will stop using that approach, but for the record the right spelling seems to be "SourceCodePro-Medium".
The first alpha lacked GUI for many settings, so ~/.tm_properties was the only way to set manny things, which is why you’ll see it referenced.
But in general, when there is a GUI setting, I recommend using it, as it’s less likely to cause problems and more likely to “just work”.