在Linux的终端(命令窗口)中及virtuoso中如何改变字体的大小。
(一)在终端中如何改变字体的大小。如下图所示:
1.首先打开终端:右键--open in terminal
2.点击Edit---Profile Preferences
3.在出现的窗口中依次点击,如下图所示:
(二)在virtuoso中改变字体的大小
1.首先打开virtuoso软件
2.然后在virtuoso窗口中点击options---Fonts,如下图所示:
3.点击Fonts后会弹出一个窗口,然后把12改为其他数字,就可以改变字体的大小。