Hi is there a option to change the text size in the editor windor of the properties menu?
pascal
(Pascal Golay)
2
Hello - I do not think there is a control. @Alain - is that correct?
-Pascal
Alain
(Alain Cormier)
3
That’s right, it’s not configurable at the moment.
It’s scheduled for Rhino 7
