Changing font size in Macro Panel

Hey there!

A few weeks ago I was making some scripts in Glyphs’ macro panel and I decided to change its font size just in order to see what I was writting much bigger. As I did this I got a huge font size such as 16pt and I had no problems then but now I would like to resize the font to a smaller size but I can’t remember/find what to write in order to change it.

Does anyone know how to change macro panel’s font size?

Thank you so much!

Glyphs.intDefaults["MacroCodeFontSize"] = 13

That works!

Thank you so much, Rainer!