vivado:
1,打开vivado,选择菜单栏里的Tools->options
2,选择options里的TextEditor->fonts
SDK:
1,打开SDK，选择Window->Preferences
2,选择General->Appearance->Colors and Fonts
->Basic->text fonts->edit
3,选择字体以及大小
文章转载自： https://blog.csdn.net/renlonggg/article/details/53170625
