Some blurriness in gnome desktop

[Bastien Nocera]

On Mon, 2009-10-26 at 15:20 +0100, Martin Sourada wrote:
> On Mon, 2009-10-26 at 15:02 +0100, Martin Sourada wrote:
> > On Mon, 2009-10-26 at 13:50 +0000, Bastien Nocera wrote:
> > > Does the attached patch work for you for gnome-media?
> > 
> > If x0, y0, width and height are integer values (although they're passed
> > as doubles I doubt they are actually non-integers), it should, I'm going
> > to try build and test it. You would probably also want to use (but that
> > depends on what you'd what the width/height values to represent).
> > 
> > x1 = x0 + width - 1; 
> > 
> > and similar for y1.
> Actually, looking at in in the perspective of the whole code, this is
> IMHO not the correct place to fix it as curved_rectangle() can be used
> both for fills and for borders (even though in the file you use it only
> in a way that fixing this in curved_rectangle() works too).
> 
> Attaching my version of the patch (verified that it works for me as
> intended).

Committed to master, will be in the next stable release of gnome-media.

Cheers