![如何更改终端和 gedit 的默认字体?](https://linux22.com/image/1095639/%E5%A6%82%E4%BD%95%E6%9B%B4%E6%94%B9%E7%BB%88%E7%AB%AF%E5%92%8C%20gedit%20%E7%9A%84%E9%BB%98%E8%AE%A4%E5%AD%97%E4%BD%93%EF%BC%9F.png)
我也想更改font style
默认terminal
值。那么如何更改呢?任何帮助和建议都将不胜感激。gedit
font type in Ubuntu 12.04
答案1
要在 Ubuntu 12.04-20.04 中安装 gnome-tweak-tool,请打开终端并输入
sudo apt-get install gnome-tweak-tool
在字体中您可以更改系统范围的字体。
对于 gedit:
(来源:iloveubuntu.net)
对于终端:
答案2
不确定编辑器,但对于终端,只需从
Edit -> Profile
菜单
干杯
年代
答案3
对于终端,您可以右键单击内容窗口(而不是标题栏),然后选择“配置文件”,然后选择“配置文件首选项”。然后,您将看到与0x00F 的回答