This patch optimizes gtk_pixmap_set, in that it will only request a resize
if the new pixmap has a different size than the old one. Otherwise, a redraw
is requested.