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

version» Context lines:

pike.git/src/post_modules/GTK2/source/gtkvpaned.pre:6:   //! into two parts, with the relative size of the two parts controlled   //! by the user. A groove is drawn between the two portions with a   //! handle that the user can drag to change the ratio. This widgets   //! makes a vertical division   //!   //! IMG: GTK2.Vpaned()->add1(GTK2.Label("Top Side Of Pane"))->add2(GTK2.Label("Bottom"))->set_size_request(100,100)      void create(?mapping(string:mixed) props)   //! Create a new W(Vpaned) widget.   { -  pgtk_verify_not_inited(); -  pgtk_verify_setup(); +  pgtk2_verify_not_inited(); +  pgtk2_verify_setup();    if (args) {    INIT_WITH_PROPS(GTK_TYPE_VPANED); -  my_pop_n_elems(args); +  pgtk2_pop_n_elems(args);    } else {    GtkWidget *gv;    gv=gtk_vpaned_new();    THIS->obj=G_OBJECT(gv);    } -  pgtk__init_this_object(); +  pgtk2__init_this_object();   }