Congratulations to the team on releasing 13. While I look forward to new features to explore, I want to commend one small change. I hate the default font on Windows. My favourite font now is JetBrains Mono NL. It used to be that after setting the default font I still needed to set the Output and Terminal fonts separately. Today after installing NetBeans and changing the default font I was very pleased to see that Output and Terminal now set to that font.
I would like to be able to change the fontsize without having to add -fontsize 14 to the command line in my shortcut. What I do like very much is that spacing is well adjusted when a larger font size is used. Ken
