I was unsure whether to post here or on beginner questions.
Is it possible to change the font of the scripts on AGS?
I know only that you can increase its size by Ctrl+mouse wheel.
Uhm, I read the json theme we have on 3.5.0 with hopes but I saw no font there so was curious if there was some hidden hack, but I guess no. (well, looking into it, still no dice but found a photo of agsers in a hot-tub xD)
Ok, I think I figured out. The project uses appears to use Scintilla, but an old version, and there is the place to change the font.
Three years later, there's hope for this soon :)
CW did a magical work on Scintilla, on top of that it was then a breeze to put a font and size selection in the preferences menu. Experiment with this here (https://drive.google.com/file/d/1W5aNmZXUetMG-NtiUgMCoXDGeZA02-U_/view?usp=drivesdk).
Quote from: eri0o on Wed 23/02/2022 10:46:49
Three years later, there's hope for this soon :)
CW did a magical work on Scintilla, on top of that it was then a breeze to put a font and size selection in the preferences menu.
I don't think it's related, this could have been done with the old Scintilla too, there's no much difference; the new Scintilla only has somewhat more convenient API.
The reason why this was not done is probably that no one looked into this.
Anyway, selecting script's font is a feature since 3.6.0.