VIVADO2020.2文本设定,字体大小、颜色等。(版本不一样,设定方式可能不一样) 1、点击菜单栏中TOOLS选项,选择TOOLS子菜单栏中的Settings 2、打开Text Editor选项卡,就可以对文本进行特定编辑了。