Re: devhelp freeze break request

On Mon, Mar 25, 2013 at 5:35 AM, Frederic Peters <fpeters gnome org> wrote:

Ignacio Casal Quinteiro changed devhelp to use GdHeaderBar (in place
of GdMainToolbar); this improves the styling and allows to drag the
header bar to move the window.

This is minor but it improves consistency with other apps, I'd like to
request an exception to land this is,

The patch looks correct, but also doesn't exactly look like the stuff
you'd land on the night before release...
I vote for 3.8.1 on this one.

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]