标签：
Tools→options
版权声明：本文为博主原创文章，欢迎转载，转载注明出处即可~
vivado中改变代码字体的大小
原文地址：http://blog.csdn.net/kobesdu/article/details/47445869
