In Textures, is there a way to permanently increase the size of the font used for displaying the TeX file? Or is there another way of increasing the font size?
-
What is Textures, is it an editor?– AradnixSep 11, 2014 at 18:46
-
2@Aradnix A dinosaur, see tex.stackexchange.com/questions/108497/…– AlexSep 11, 2014 at 19:59
-
@Alex I don't think that it's a dinosaur. I read that question and the sad story behind that editor. Also good comments about it. The website announces news for October of this year.– AradnixSep 11, 2014 at 20:40
-
@Aradnix Sure, it's a sad story. They should have open-sourced it. The last time I've seen people using Textures was several years ago. Makes it hard to answer the original question...– AlexSep 12, 2014 at 9:36
-
@Alex That's right... we'll see if TeXtures becomes open sourced or what happen with it in October, for now is hard to reply this question.– AradnixSep 12, 2014 at 15:40
Add a comment
|
1 Answer
In the Terminal, say
defaults write com.bluesky.Textures TextFontSize 16
or equivalent.
