我们如何在 ubuntu 18 中以八度为单位更改编辑器字体？
How can we change editor font in octave in ubuntu 18?
由于八度编辑器的字体非常小，代码很难阅读。我找不到在哪里更改编辑器文本的字体设置。
附上octave editor platform的截图。
我希望增加我的编辑器字体来工作properly.Thanks
您可以通过
更改整个 Ubuntu 字体
gsettings set org.gnome.desktop.interface text-scaling-factor [字体大小]
示例：
gsettings set org.gnome.desktop.interface text-scaling-factor 1.4
使用以下命令了解当前字体
gsettings set org.gnome.desktop.interface text-scaling-factor
由于八度编辑器的字体非常小，代码很难阅读。我找不到在哪里更改编辑器文本的字体设置。
附上octave editor platform的截图。
我希望增加我的编辑器字体来工作properly.Thanks
您可以通过
更改整个 Ubuntu 字体gsettings set org.gnome.desktop.interface text-scaling-factor [字体大小]
示例： gsettings set org.gnome.desktop.interface text-scaling-factor 1.4
使用以下命令了解当前字体
gsettings set org.gnome.desktop.interface text-scaling-factor