push_text -> ref_push_string Rev: src/post_modules/GTK2/source/gdkdisplay.pre:1.4 Rev: src/post_modules/GTK2/source/gdkdrawable.pre:1.4 Rev: src/post_modules/GTK2/source/gdkevent.pre:1.4 Rev: src/post_modules/GTK2/source/gdkgc.pre:1.5 Rev: src/post_modules/GTK2/source/gdkrectangle.pre:1.6 Rev: src/post_modules/GTK2/source/gdkwindow.pre:1.4 Rev: src/post_modules/GTK2/source/global.pre:1.10 Rev: src/post_modules/GTK2/source/gtkcalendar.pre:1.3 Rev: src/post_modules/GTK2/source/gtkcellrenderer.pre:1.6 Rev: src/post_modules/GTK2/source/gtkcellview.pre:1.8 Rev: src/post_modules/GTK2/source/gtkcolorselection.pre:1.7 Rev: src/post_modules/GTK2/source/gtkdatabox.pre:1.6 Rev: src/post_modules/GTK2/source/gtkfixed.pre:1.4 Rev: src/post_modules/GTK2/source/gtkframe.pre:1.5 Rev: src/post_modules/GTK2/source/gtkimage.pre:1.4 Rev: src/post_modules/GTK2/source/gtklabel.pre:1.6 Rev: src/post_modules/GTK2/source/gtkmisc.pre:1.4 Rev: src/post_modules/GTK2/source/gtknotebook.pre:1.4 Rev: src/post_modules/GTK2/source/gtkscale.pre:1.3 Rev: src/post_modules/GTK2/source/gtkscrolledwindow.pre:1.6 Rev: src/post_modules/GTK2/source/gtksourcelanguage.pre:1.6 Rev: src/post_modules/GTK2/source/gtksourceprintjob.pre:1.5 Rev: src/post_modules/GTK2/source/gtksourcestylescheme.pre:1.4 Rev: src/post_modules/GTK2/source/gtksourcetag.pre:1.5 Rev: src/post_modules/GTK2/source/gtkspinbutton.pre:1.5 Rev: src/post_modules/GTK2/source/gtktextview.pre:1.6 Rev: src/post_modules/GTK2/source/gtktreepath.pre:1.5 Rev: src/post_modules/GTK2/source/gtktreesortable.inc:1.4 Rev: src/post_modules/GTK2/source/gtktreeview.pre:1.6 Rev: src/post_modules/GTK2/source/gtktreeviewcolumn.pre:1.7 Rev: src/post_modules/GTK2/source/gtkwindow.pre:1.5 Rev: src/post_modules/GTK2/source/pangolayout.pre:1.6 Rev: src/post_modules/GTK2/source/pangotabarray.pre:1.4