[texworks] Fwd: Adjusting the size of letters in the texworks editor

[Paul A Norman]

Hi Harald,

If for some reason the very useful TeXWorks manual is missing, it can
generally be found here ...

https://github.com/TeXworks/manual/releases

Many things are covered in it.

Kind regards,
Paul

On Monday, 27 March 2023, Harald S. Groh via texworks <texworks at tug.org>
wrote:
>
>
> Hallo!
> In standard the size of the letters in the editor ist very small. How can
I adjust a larger size of the letters written in the editor. I can't find a
menue entry with which I can do this.
> Thanks for a answer.
> Be with best regards
> Harald
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/texworks/attachments/20230329/5072300d/attachment.html>