Author Topic: How to change AGS Scripts font  (Read 556 times)

How to change AGS Scripts font
« on: 22 Feb 2019, 23:42 »
I was unsure whether to post here or on beginner questions.

Is it possible to change the font of the scripts on AGS?

Crimson Wizard

  • Local Moderator
    • Best Innovation Award Winner 2013, for spearheading the AGS 3.3.0 project
    • Lifetime Achievement Award Winner
    • Crimson Wizard worked on one or more games that won an AGS Award!
    •  
    • Crimson Wizard worked on one or more games that was nominated for an AGS Award!
Re: How to change AGS Scripts font
« Reply #1 on: 22 Feb 2019, 23:45 »
I know only that you can increase its size by Ctrl+mouse wheel.

Re: How to change AGS Scripts font
« Reply #2 on: 23 Feb 2019, 00:01 »
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.
« Last Edit: 23 Feb 2019, 00:31 by eri0o »