如何在ubuntu 18中的八度中更改编辑器字体？

时间：2018-12-28 04:30:47

标签： octave

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

我将附加八度编辑器平台的屏幕截图。

screenshot of the octave editor platform

我希望增加编辑器字体以使其正常工作。谢谢

1 个答案:

答案 0 :(得分：0)

您可以通过

更改整个Ubuntu字体。

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

示例： 设置设置org.gnome.desktop.interface文本缩放因子1.4

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

设置设置org.gnome.desktop.interface文本缩放因子

相关问题
最新问题