如何在gtkrc文件中更改gtk选项卡高度？

Question

我想更改GTK标签（类似于终端标签或Firfox标签）的高度。我知道TKNotebook可以做到这一点，但我不知道哪个属性是高度。 GTKNotebook::height=xxx不起作用。顺便说一句，GTK可以改变Firefox选项卡的高度吗？

Answer 1

我不认为GTK可以改变Firefox的外观，因为Firefox使用自己的UI / widget系统。可能存在允许更改的扩展或主题。