当我尝试设置终端的字体大小时，它会在所有打开的选项卡上发生变化。问题是，我只需要在一个选项卡上减小字体大小，而在其他选项卡上继续使用默认字体大小。这可能吗？例如，我将一个选项卡的字体大小保持在 9，而将另一个选项卡的字体大小保持在默认的 -12。原因是在几个选项卡上，我正在观察一些正在运行的进程，我必须将它们放入屏幕中，但同时，我不想在进行其他开发工作时眯着眼睛看。谢谢
仅为 gnome 终端选项卡设置字体大小
当我尝试设置终端的字体大小时，它会在所有打开的选项卡上发生变化。问题是，我只需要在一个选项卡上减小字体大小，而在其他选项卡上继续使用默认字体大小。这可能吗？例如，我将一个选项卡的字体大小保持在 9，而将另一个选项卡的字体大小保持在默认的 -12。原因是在几个选项卡上，我正在观察一些正在运行的进程，我必须将它们放入屏幕中，但同时，我不想在进行其他开发工作时眯着眼睛看。谢谢