I use an editor named TeXShop, but there appears to be no choice for the font in this editor.
The font here is not for appearing in the final pdf file, but the font in the editor when I type.
|
I use an editor named TeXShop, but there appears to be no choice for the font in this editor. The font here is not for appearing in the final pdf file, but the font in the editor when I type. |
||||
|
|
|
In the Prefs of TeXShop, you choose the font of the source (what you see on the screen) :
And then |
||||
|
|
|
Its right there in the Preferences: TexShop->Preferences... Top left of the dialog is the setting for "Document Font" |
|||
|
|
|
Yeah, I wanted a quick answer to the same question because editor font does not appear to be adjustable from the TexShop system preferences. On my mac with TexShop v 2.47,
work. I had to stumble around for a minutes to find that menu location, but the shortcuts are more obvious command+equal (for command+minus (for ... hopefully this saves someone 4 mins of grief ... |
||||
|
|