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