pike.git / src / post_modules / GTK2 / source / gtkrecentfilter.pre

version» Context lines:

pike.git/src/post_modules/GTK2/source/gtkrecentfilter.pre:5:      void create(?mapping(string:mixed) props)   //! Create a new GTK2.RecentFilter.   {    pgtk2_verify_not_inited();    pgtk2_verify_setup();    if (args) {    INIT_WITH_PROPS(GTK_TYPE_RECENT_FILTER);    pgtk2_pop_n_elems(args);    } else { -  GtkWidget *gd; +  GtkRecentFilter *gd;    gd=gtk_recent_filter_new();    THIS->obj=G_OBJECT(gd);    }    pgtk2__init_this_object();   }      string get_name();   //! Gets the human-readable name for the filter.      void set_name(string name);