eclipse更改xml文件,txt文件,property文件等文件编辑器的字体设置:window--preferences--General--appearance--colors and fonts--Basic-- "Text font " 然后点change,可以设置字体的大小
