void set_icon_pixmap(GdkColormap colormap, GdkPixmap pixmap, GdkBitmap mask, int hot_x, int hot_y);