我用consolas字体工作的时候，发现字体太小，周围出现锯齿，请问怎么解决？
记得之前eclipse也有这个问题，
之前用ubuntu的时候没问题？
12号字体效果：



13号字体效果：