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

47:   {    pgtk2_verify_inited();    pgtk2_pop_n_elems(args); -  push_text(gtk_source_style_scheme_get_name((GtkSourceStyleScheme *)THIS->obj)); +  PGTK_PUSH_GCHAR(gtk_source_style_scheme_get_name((GtkSourceStyleScheme *)THIS->obj));   }