vivado hls 更改字体大小

如图，自己也记录一下，省的每次都找找半天。