Wish: New Script Editor Terminal Set Font

[AndersDeleuran]

@AndersDeleuran

I forget if this has already been wished…

Ah, there it was:

Rhino 8 Grasshopper Script Editor - Design Feedback

No worries, getting some real scripting-FOMO over here Regarding these last two issues. It might help, and certainly would be great, if we could set the terminal font/size along with the editor font. I’ve always quite liked how Sublime Text handles this (i.e. it just uses the same font/size), though I can certainly see why one would want to use different fonts. Here’s me Ctrl + mouse wheeling in Sublime Text, you might also see where my minimal preference comes from here: