allegro的字体

可以换的
Setup→user preference editor→UI→Fonts
在右侧栏目中修改font  size和fontweight即可
fontsize 默认-12 到-9
fontweight 默认400

大神，知道了、、、以前没遇到过啊。谢谢。