Automatic migration. Original reporter: "Timo"
The widget has its left edge at 9.5 and right edge at 20.0. But the final rendered pixels are from 10.0 to 21.0, so the right edge is off by one pixel.
It's a smallish issue, but it can for example cause widgets to overlap each other when they shouldn't (e.g. ListHeaderSegments).
CEGUI version: branches/v0-7 r2487