On Mon, 2009-10-26 at 13:50 +0000, Bastien Nocera wrote:
On Mon, 2009-10-26 at 13:47 +0100, Martin Sourada wrote:
> Hi all,
>
> I've been pondering this for a while, but there has been an increasing
> amount of blurriness in desktop UI elements that haven't been (most
> likely) designed by or even consulted with the gnome-art team (or fedora
> design team). Some examples include (the top part of each picture is
> screenshot, the bottom part is analogue done in inkscape to look crisp;
> ignore the coloring, it's not important in these images):
> * sound preferences [1]
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.
Martin