void set_icon(GdkWindow icon_window, GdkPixmap pixmap, GdkBitmap mask);