Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/haskell/10.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Tabs 如何更改gtkrc文件中的gtk选项卡高度？_Tabs_Gtk - Fatal编程技术网
Fatal编程技术网
  • tabs/
  • Tabs 如何更改gtkrc文件中的gtk选项卡高度？

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

tabs gtk

Tabs 如何更改gtkrc文件中的gtk选项卡高度？,tabs,gtk,Tabs,Gtk,我想更改GTK选项卡（类似于终端选项卡或Firfox选项卡）的高度。我知道TKNotebook可以做到这一点，但我不知道哪个属性是高度。 GTKNotebook:：height=xxx不起作用。顺便问一下，GTK能改变Firefox标签的高度吗？我认为GTK不能改变Firefox的外观，因为Firefox使用自己的UI/小部件系统。可能存在允许更改的扩展或主题

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

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