Ewgeny B <[email protected]> wrote: > 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.
The height issues are separate bugs, I think [1, 2]. Allan [1] https://bugzilla.gnome.org/show_bug.cgi?id=706515 [2] https://bugzilla.gnome.org/show_bug.cgi?id=706431 _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
