我最近更新了一些gtk3程序(死牛肉gtk3插件,pcmanfm 3,l3afpad),有一件事一直困扰着我:
为什么Statusbar是gtk2版本的三倍高?
这显然不是因为有更多的信息或更大的字体--两个版本的文本是相同的,它只是gtk3中的statusbar的10 px边距。所以我想“嘿,gtk3有一些不错的CSS,也许我可以用gtk.css oder settings.ini来调整它”--结果不是真的。gtk.css中的任何东西,比如
GtkStatusbar { margin:0px; margin-top:0px; margin-bottom:0px; }可悲的是什么都没做。
所以我试着在pcmanfm上玩GtkInspector。当我选择整个Statusbar元素(您必须选择左标签和右标签之间的空白,只有10 px宽),并且我检查属性时,我看到为GtkWidget定义的所有边距都有一个10 px值(除了底部和顶部,它们是6)。现在,如果我双击该值并将“所有边距”设置为0,它立即给我一个gtk2状态条--欢乐!
所以我知道这是可能的,但我只是还没有找到进入gtk.css的方法。我不顾一切地想办法:
GtkWidget { margin:0px; margin-top:0px; margin-bottom:0px; }但我并不是真的期望它能起作用,所以它当然没有。
我也尝试在线搜索解决方案,但最后我只得到了一些非常具体的技巧,将eclipse从gtk3降为gtk2,以节省屏幕空间,或者将删除这些空白的这修补程序删除。
见鬼,可能有一些GNOME的GUI工具可以在大约5秒内完成这个任务,而我一直在寻找错误的东西。
发布于 2018-08-01 13:25:31
这在一定程度上有助于:
gtk_widget_set_margin_top(GTK_WIDGET(statusbar), 0);
gtk_widget_set_margin_bottom(GTK_WIDGET(statusbar), 0);https://unix.stackexchange.com/questions/271042
复制相似问题