Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/codeigniter/3.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Octave 在八度音阶的命令窗口中更改字体大小_Octave - Fatal编程技术网

Octave 在八度音阶的命令窗口中更改字体大小

Octave 在八度音阶的命令窗口中更改字体大小,octave,Octave,我最近开始在我的windows 10上使用最新版本的octave,即octave 4.2.1。我的命令窗口上的字体看起来很小,很难看到我键入的内容。我尝试在多个来源(包括手册)上查找如何更改字体大小,但找不到。任何人都可以在我的命令窗口中逐步更改字体大小吗?谢谢。。托尔斯滕的OP“已接受”回答: 我猜您正在使用gui。以下是更改 字体大小: 通过菜单“编辑/首选项”或在终端中键入“首选项”打开首选项 转到“终端”选项卡 在“字体大小”微调框中选择所需的字体大小 复制品?可能重复的

我最近开始在我的windows 10上使用最新版本的octave,即octave 4.2.1。我的命令窗口上的字体看起来很小,很难看到我键入的内容。我尝试在多个来源(包括手册)上查找如何更改字体大小,但找不到。任何人都可以在我的命令窗口中逐步更改字体大小吗?谢谢。

。托尔斯滕的OP“已接受”回答:

我猜您正在使用gui。以下是更改 字体大小:

  • 通过菜单“编辑/首选项”或在终端中键入“首选项”打开首选项
  • 转到“终端”选项卡
  • 在“字体大小”微调框中选择所需的字体大小
  • 复制品?可能重复的