GNOME Builder's GtkHeaderBar is too big

[omjcnkn]

[andreldm]

That's a problem caused by this min-height: 28px; declaration.

[omjcnkn]

Hi @andreldm,

Really sorry for the late reply, for some reason I didn't see the notification on my mail.
What do you recommend in this case? should I tinker and play with it a little and make a MR for it?

[andreldm]

@MahmoudKhalil, no problem, we are not in a hurry 😄
Yes, do please try to put together a pull request, although I think the solution is not just to lower that min-height, maybe a different value can be set only for gnome builder.

[ochosi]

This worked for me when debugging Gnome Builder in GtkInspector
headerbar entry button image { min-height: 12px; padding: 0; }

[andreldm]

That works for me:

I'd try to put together a pull request, but I'm not sure where to stick into _common.scss 😅