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

version» Context lines:

pike.git/src/post_modules/GTK2/source/gtkvbox.pre:14:   //! IMG: GTK2.Vbox(1,40)->add(GTK2.Button("Hello"))->add(GTK2.Button("World"))->pack_end_defaults(GTK2.Button("From right"))->pack_start_defaults(GTK2.Button("From left"))      void create(int|mapping(string:mixed) uniformp_or_props, ?int padding)   //! Create a new vertical box widget.   //! If all_same_size is true, all widgets will have exactly the same size.   //! padding is added to the top and bottom of the children.   {    pgtk2_verify_not_inited();    pgtk2_verify_setup();    { -  if (Pike_sp[-args].type==PIKE_T_INT) { +  if (TYPEOF(Pike_sp[-args]) == PIKE_T_INT) {    INT_TYPE uniformp,padding;    GtkWidget *gv;    get_all_args("create",args,"%i%i",&uniformp,&padding);    gv=gtk_vbox_new(uniformp,padding);    THIS->obj=G_OBJECT(gv);    } else {    INIT_WITH_PROPS(GTK_TYPE_VBOX);    }    pgtk2_pop_n_elems(args);    }    pgtk2__init_this_object();   }