void render_icon(GtkStyle style, direction, state, size [, GtkWidget widget [, detail]]);