关于编程字体
我在别人的建议下装了个deja Sans Mono
为什么装好之后在eclipse看到的字体名叫做Bitstream Vera Sans Mono
这2个是什么关系啊
[解决办法]
一个东西，名字不一样