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