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

41:    gchar *s=gtk_tree_path_to_string((GtkTreePath *)THIS->obj);    if (s) {    ref_push_string(_STR("GTK2.TreePath( \"")); -  push_text(s); +  PGTK_PUSH_GCHAR(s);    ref_push_string(_STR("\" );"));    f_add(3);    g_free(s);