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

version» Context lines:

pike.git/src/post_modules/GTK2/source/gtkrecentmanager.pre:1: - require gtk210; +    /* -*- 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 (Pike_sp[-args].type==PIKE_T_MAPPING)