GtkSizeGroup and margins resulting in wrong size
For example, in the app I'm working, I have the following layout:
GtkBox-horizontal [GtkLabel, GtkScale, GtkLabel]
All the GtkBox-horizontal are part of a GtkSizeGroup (vertical)
Here is a group where the first GtkBox-horizontal has 18px of top-margin and the following GtkBox-horizontal have 6px of top-margin:
The result is the first one with the expected height and the others with wrong height (bigger than the first one).
Now, if I make the top-margin of the first also 6px, they have the same height, as expected:
What I would expect is that all widgets would have the same height, independent of their margin.