ude5.00修改字体方法：refresh/propertiessource code -> view server -> program window -> configuration -> font
->appearance -> line numbers
转载于:https://www.cnblogs.com/praiseslow/p/11426454.html
