Texmaker
Verfasst: Do 14. Mär 2019, 20:42
Hey Leute,
ist eventuell ne total bescheuerte Frage, aber wie bekomm ich die Schriftgröße vom Editor größer? ...
Sorry, ich benutze den TexEditor..
ist eventuell ne total bescheuerte Frage, aber wie bekomm ich die Schriftgröße vom Editor größer? ...
Sorry, ich benutze den TexEditor..
