Octave 我们如何在Ubuntu18中更改编辑器的八度字体？

由于倍频程编辑器的字体非常小，因此很难阅读代码。我找不到在哪里更改编辑器文本的字体设置

我附上八度编辑器平台的屏幕截图

---

我希望增加我的编辑器字体以正常工作。谢谢你可以通过

gsettings set org.gnome.desktop.interface文本缩放因子[字体大小]

例如： gsettings set org.gnome.desktop.interface文本比例因子1.4

要了解当前字体，请使用以下命令

---

gsettings set org.gnome.desktop.interface text scaling factor

参见

Edit-Settings-Terminal

这是终端“命令窗口”字体，我说的是“编辑器”字体编辑-首选项-编辑器样式出于好奇：如果不在“编辑-首选项”中，您希望菜单在哪里更改字体“安迪，这就是我所期望的。但事实并非如此。有两个，正如你在图片上看到的。也许，像我一样，OP并没有想到要寻找第二个上下文相关的编辑菜单按钮，需要帮助才能找到它。