On Wed, 2017-05-03 at 15:45 +0200, Timm Bäder wrote: [snip] > [1]Even though spacing *should* probably be handled by the theme, so > the > theme can decide whether UIs are more spacey or more narrow, nobody > has > come up with a proper way for applications to specify that.
Yes, I've never liked how applications have all these magic values sprinkled through their code. Thanks for the explanation. -- Murray Cumming murr...@murrayc.com www.murrayc.com _______________________________________________ gtk-devel-list mailing list gtk-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-devel-list
