时间:2023-06-03 来源:网络 人气:
在使用ubuntu操作系统下的vivado开发工具时,有时我们会发现默认的界面字体过小,导致不太舒适,那么该如何调整呢?本文将为大家介绍如何在ubuntu下设置vivado界面字体大小。
一、修改系统字体
首先我们需要修改系统的字体大小,在ubuntu下打开终端,输入以下命令:
gsettingssetorg.gnome.desktop.interfacetext-scaling-factor1.2
其中1.2是我们要设置的字体放大倍数,可以根据个人需要进行调整。执行完该命令后,我们会发现系统的界面字体已经变大了。
二、修改vivado字体
接下来我们需要修改vivado的字体大小。打开vivado软件,选择“Tools”->“Options”,在弹出的窗口中选择“Fonts”,可以看到各种不同类型的字体设置。
1.修改编辑器字体
首先我们可以通过修改编辑器的字体来改变代码编辑区域的字体大小。在“Fonts”页面中找到“Editorfont”选项,点击右侧的“Edit”按钮,弹出编辑器设置窗口。在该窗口中我们可以选择不同类型和大小的字体进行预览和选择。
例如我们可以选择“MonospaceRegular14”作为编辑器中代码区域的字体。完成设置后,点击“OK”按钮保存设置。
2.修改界面字体
除了编辑器字体之外,我们还可以修改vivado界面中的其他字体。在“Fonts”页面中找到“Generalfont”选项,点击右侧的“Edit”按钮,弹出字体设置窗口。在该窗口中我们可以选择不同类型和大小的字体进行预览和选择。
例如我们可以选择“SansRegular14”作为vivado界面中的一般字体。完成设置后,点击“OK”按钮保存设置。
三、重启vivado
完成以上设置后,我们需要退出vivado并重新启动才能使设置生效。关闭vivado软件后,重新打开即可看到界面字体已经变大了。
imtoken钱包:https://cjge-manuscriptcentral.com/software/5276.html