ude5.00修改字体大小方法

分类: IT文章 • 2024-01-04 11:20:48

ude5.00修改字体方法：
在任意一个打开的源代码窗口右键点击 refresh/properties，得到 source code -> view server -> program window -> configuration -> font

->appearance -> line numbers