Hi Primo,
maybe you could change the font face and/or size in thinAir.
"thinAir Options\Editor\Font face" doesn't take changes into account. As themes override these settings, you can edit the xml themes files to set your preferred display : "Right-click \ Themes..."
Also :https://www.thinbasic.com/community/...thinAir-Themes