Comment 4 for bug 274390

A question: Why should we need gtk.widget_push_colormap() and gtk.widget_pop_colormap()? Calling gtk.widget_set_default_colormap() should affect all widgets created afterwards, shouldn't it?