Ewgeny B <evgen ibqn gmail com> wrote:The height issues are separate bugs, I think [1, 2].
> I have just tried gnome-clocks out after rebuilding gnome-themes-standard.
> Iirc we have no styles set for the header bar, and the new look appeared in
> clocks seems to me like a change from bad to worse:( as a general look as
> well as due to height changes in all modes: standalone, selection and
> standard, respectively.
Allan
[1] https://bugzilla.gnome.org/show_bug.cgi?id=706515
[2] https://bugzilla.gnome.org/show_bug.cgi?id=706431