![仅为 gnome 终端选项卡设置字体大小](https://linux22.com/image/999011/%E4%BB%85%E4%B8%BA%20gnome%20%E7%BB%88%E7%AB%AF%E9%80%89%E9%A1%B9%E5%8D%A1%E8%AE%BE%E7%BD%AE%E5%AD%97%E4%BD%93%E5%A4%A7%E5%B0%8F.png)
当我尝试设置终端的字体大小时,它会在所有打开的选项卡上发生变化。问题是,我只需要在一个选项卡上减小字体大小,而在其他选项卡上继续使用默认字体大小。这可能吗?例如,我将一个选项卡的字体大小保持在 9,而将另一个选项卡的字体大小保持在默认的 -12。原因是在几个选项卡上,我正在观察一些正在运行的进程,我必须将它们放入屏幕中,但同时,我不想在进行其他开发工作时眯着眼睛看。谢谢
当我尝试设置终端的字体大小时,它会在所有打开的选项卡上发生变化。问题是,我只需要在一个选项卡上减小字体大小,而在其他选项卡上继续使用默认字体大小。这可能吗?例如,我将一个选项卡的字体大小保持在 9,而将另一个选项卡的字体大小保持在默认的 -12。原因是在几个选项卡上,我正在观察一些正在运行的进程,我必须将它们放入屏幕中,但同时,我不想在进行其他开发工作时眯着眼睛看。谢谢