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

version» Context lines:

pike.git/src/post_modules/GTK2/source/gtkimagemenuitem.pre:5:   //! Properties:   //! GTK2.Widget image      void create(string|mapping(string:mixed)|void label)   //! Create a new ImageMenuItem.   {    pgtk2_verify_not_inited();    pgtk2_verify_setup();       if (args) { -  if (Pike_sp[-args].type==PIKE_T_STRING) { +  if (TYPEOF(Pike_sp[-args]) == PIKE_T_STRING) {    struct pike_string *s1;    GtkStockItem item;    GtkWidget *gi;    int t=0;       get_all_args("create",args,"%t",&s1);    if(s1->size_shift==0)    t=gtk_stock_lookup(CGSTR0(s1),&item);    if (t)    gi=gtk_image_menu_item_new_from_stock(CGSTR0(s1),NULL);