1

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? – Aradnix Sep 11 '14 at 18:46
  • 2
    @Aradnix A dinosaur, see tex.stackexchange.com/questions/108497/… – Alex Sep 11 '14 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. – Aradnix Sep 11 '14 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... – Alex Sep 12 '14 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. – Aradnix Sep 12 '14 at 15:40
1

In the Terminal, say

defaults write com.bluesky.Textures TextFontSize 16

or equivalent.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.