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