如何更改标签标题的monodevelop的字体大小？

Question

我在Linux Fedora 27上运行良好MonoDevelop。我唯一真正的抱怨是，某些IDE文本非常小，而且通常难以阅读。这会出现在标签标题和状态窗口中。

我在Edit | Preferences | Fonts中环顾四周，但它只有三个控件：文本编辑器，常规键盘文本和输出板文本。这些都是10点或11点（不是1或2）;将所有这些值更改为更大的值不会影响微小的文本区域。

此行为可能与笔记本电脑的4K显示器（3840 x 2160像素）有关。系统启动时出现的控制台文本同样难以阅读。

想法？建议？