+ width_r = gdk_pixbuf_get_width (source_pixbuf);
+ height_r = gdk_pixbuf_get_height (source_pixbuf);
+ } else {
+ if (rotation == 0 || rotation == 180) {
+ width_r = width;
+ height_r = height;
+ } else if (rotation == 90 || rotation == 270) {
+ width_r = height;
+ height_r = width;
+ } else {
+ g_assert_not_reached ();
+ }