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

version» Context lines:

pike.git/src/post_modules/GTK2/source/gtkrecentmanager.pre:1:   /* -*- C -*- */   require gtk210;   class GTK2.RecentManager; + //!   inherit G.Object;      void create(mapping(string:mixed)|int|GDK2.Screen|void props_or_def)   //! Create a new GTK2.RecentManager.   {    pgtk2_verify_not_inited();    pgtk2_verify_setup();    if (args) {    if (TYPEOF(Pike_sp[-args]) == PIKE_T_MAPPING)    INIT_WITH_PROPS(GTK_TYPE_RECENT_MANAGER);