相关疑难解决方法(0)

在旧版本的 Ubuntu 中，gnome-terminal 的首选项设置中有“允许粗体文本”选项。我曾经把它关掉。

但是在最近的版本中，该选项似乎消失了，而且我只能使用非粗体文本。如何重新启用粗体文本？