6 Jul
2015
6 Jul
'15
10:25 a.m.
Dear all,
I'd be slightly surprised if I were the first to raise this, but I don't see any mention of it recently on the list.
Is it possible to set the weight of a font, as well as the face and the size, from .tm_properties? I'm using Source Code Pro, and I prefer the Medium weight to the Regular on my current screen. Some of the theme files seem to use a "fontStyle" key, but setting
fontStyle = "Medium"
doesn't seem to help.
Thanks in advance.
Jon