- unsigned w=img.get_width();
- unsigned h=img.get_height();
- PixelFormat fmt=pixelformat_from_graphics(img.get_format());
+ unsigned w = img.get_width();
+ unsigned h = img.get_height();
+ PixelFormat fmt = pixelformat_from_graphics(img.get_format());