Branch: Tag:

2010-09-19

2010-09-19 17:40:50 by Marcus Comstedt <marcus@mc.pp.se>

Use PGTK_PUSH_GCHAR(), not push_text(), to push gchar*.

Rev: src/post_modules/GTK2/source/gdkatom.pre:1.4
Rev: src/post_modules/GTK2/source/gdkwindow.pre:1.10
Rev: src/post_modules/GTK2/source/global.pre:1.19
Rev: src/post_modules/GTK2/source/gtkaboutdialog.pre:1.9
Rev: src/post_modules/GTK2/source/gtkfileselection.pre:1.7
Rev: src/post_modules/GTK2/source/gtkiconsource.pre:1.6
Rev: src/post_modules/GTK2/source/gtkimage.pre:1.10
Rev: src/post_modules/GTK2/source/gtkradiotoolbutton.pre:1.5
Rev: src/post_modules/GTK2/source/gtkrecentinfo.pre:1.6
Rev: src/post_modules/GTK2/source/gtksourcelanguage.pre:1.10
Rev: src/post_modules/GTK2/source/gtksourcelanguagesmanager.pre:1.7
Rev: src/post_modules/GTK2/source/gtksourcestylescheme.pre:1.7
Rev: src/post_modules/GTK2/source/gtktreepath.pre:1.11
Rev: src/post_modules/GTK2/source/gtkwidget.pre:1.22

49:    int i=0;    gsl=gs2=gtk_source_language_get_mime_types(GTK_SOURCE_LANGUAGE(THIS->obj));    while (gs2) { -  push_text(gs2->data); +  PGTK_PUSH_GCHAR(gs2->data);    g_free(gs2->data);    i++;    gs2=g_slist_next(gs2);