Bastien Nocera wrote:
On Tue, 2005-06-21 at 09:15 +0200, Jaap Haitsma wrote:Hi Bastien,Hey Jaap, On Mon, 2005-06-20 at 23:34 +0200, Jaap Haitsma wrote:<snip>Thanks for your reply By mistake I copied _set_default_icon_name in the mail, the subject was OK. Does the example program you give work correctly for you?Just fine.
Are you sure it works?Maybe I asked the question a bit to broad, but I wanted to know if gtk_window_set_default_icon_name (GTK_STOCK_CUT); worked for you.
I now discovered after doing some debugging and then reading this page [1]. That you cannot use GTK_STOCK items as a general icon which can have different sizes so gtk_window_set_default_icon_name (GTK_STOCK_CUT); cannot work
Thanks again for your help Jaap [1] http://developer.gnome.org/doc/API/2.0/gtk/GtkIconTheme.html