gnome-display-properties font size is too large

[James Westby]

Binary package hint: gnome-control-center

Hi,

It appears as though a mistake was made when merging
latest updates of the xrandr patch from Redhat at one point,
and the Ubuntu patches now increase the size of the font
used for the monitor names in the new gnome-display-properties,
when the original intent was to shrink them.

The attached debdiff fixes this by simply dropping the Ubuntu
patch, and going with the Redhat version, as the font size they now
use is fine.

The problem would be that if you have a monitor with a particularly
long name the name would extend beyond the bounds of the monitor
box. The patch doesn't stop that happening, it just makes it less likely.

The plan is to fix this problem the same way in Intrepid.

TEST CASE: install the current version of the gnome-control-center
package and run gnome-display-properties, the font used for the
name of your monitor(s) in the box near the top will be "large" and
may extend beyond the bounding box. Install the new version and
the font will be smaller, and hopefully not extend beyond the bounding
box.

Thanks,

James

[Sebastien Bacher (seb128)]

the change seems to work correctly, I've sponsored the update

[Martin Pitt (pitti)]

Accepted into hardy-proposed, please test.

For the record, I can verify this, too.

[Marius Gedminas (mgedmin)]

Although the name of my SAMSUNG 19" still doesn't fit in its box, it's much better now than it was before.

[Martin Pitt (pitti)]

Works correctly for me, too.

[Steve Langasek (vorlon)]

I can confirm this as well for the package in -proposed.

[Martin Pitt (pitti)]

Copied to hardy-updates.

[Sebastien Bacher (seb128)]

copied to intrepid