首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >GTK3状态条高度

GTK3状态条高度
EN

Unix & Linux用户
提问于 2016-03-20 13:33:17
回答 1查看 993关注 0票数 4

我最近更新了一些gtk3程序(死牛肉gtk3插件,pcmanfm 3,l3afpad),有一件事一直困扰着我:

为什么Statusbar是gtk2版本的三倍高?

这显然不是因为有更多的信息或更大的字体--两个版本的文本是相同的,它只是gtk3中的statusbar的10 px边距。所以我想“嘿,gtk3有一些不错的CSS,也许我可以用gtk.css oder settings.ini来调整它”--结果不是真的。gtk.css中的任何东西,比如

代码语言:javascript
复制
    GtkStatusbar { margin:0px; margin-top:0px; margin-bottom:0px; }

可悲的是什么都没做。

所以我试着在pcmanfm上玩GtkInspector。当我选择整个Statusbar元素(您必须选择左标签和右标签之间的空白,只有10 px宽),并且我检查属性时,我看到为GtkWidget定义的所有边距都有一个10 px值(除了底部和顶部,它们是6)。现在,如果我双击该值并将“所有边距”设置为0,它立即给我一个gtk2状态条--欢乐!

所以我知道这是可能的,但我只是还没有找到进入gtk.css的方法。我不顾一切地想办法:

代码语言:javascript
复制
GtkWidget { margin:0px; margin-top:0px; margin-bottom:0px; }

但我并不是真的期望它能起作用,所以它当然没有。

我也尝试在线搜索解决方案,但最后我只得到了一些非常具体的技巧,将eclipse从gtk3降为gtk2,以节省屏幕空间,或者将删除这些空白的修补程序删除。

见鬼,可能有一些GNOME的GUI工具可以在大约5秒内完成这个任务,而我一直在寻找错误的东西。

EN

回答 1

Unix & Linux用户

发布于 2018-08-01 13:25:31

这在一定程度上有助于:

代码语言:javascript
复制
gtk_widget_set_margin_top(GTK_WIDGET(statusbar), 0);
gtk_widget_set_margin_bottom(GTK_WIDGET(statusbar), 0);
票数 0
EN
页面原文内容由Unix & Linux提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://unix.stackexchange.com/questions/271042

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档