Hi, I’m trying to change the default $TextFont and $TextFontSize via a custom config.xml (following this).
But so far without luck. After that I tried to change something in the bundled config.xml to see if this works, but this also had no effect, not after a Tinderbox restart and not after a macOS restart.
What am I missing? I’m on 8.0.3
<config version="2"> <TextFont>Menlo</TextFont> <NewTextSize>14</NewTextSize> </config>