RF关于字体大小的设置

 设置字体可以在tools->preferences->Grid Editor/Text Editor/等进行编辑

原文地址:https://www.cnblogs.com/spider3658/p/13878684.html