Toggling between "normal" and "small" pattern fonts

So, here’s another one, looked all over for this but can’t find it: change the font size of the pattern editor (mainly between “small” and “normal”) from a script… is it possible?

Grepping for “font” through the whole API documentation shows me Renoise.ViewBuilder.API.lua …but not much useful info about pattern editor font :confused:

Skin-theme properties are not available in Lua. (neither directly, neither indirectly as in that you can load up a theme from Lua)

doh =(

but this is a GUI option, all skins afaik have fonts in 4 different sizes, and are already loaded with the theme/skin?