Branch: Tag:

2000-03-05

2000-03-05 04:02:57 by Per Hedbor <ph@opera.com>

Now with more gnome. :-)

Rev: lib/modules/Gnome.pmod:1.1
Rev: src/post_modules/GTK/build_pgtk.pike:1.19
Rev: src/post_modules/GTK/source/constants.pre:1.3
Rev: src/post_modules/GTK/source/gnomedockitem.pre:1.2

1: + mixed `[](string what) + { +  if(what == "_module_value") return ([])[0]; +  return (GTK["Gnome"+what] || GTK["gnome_"+what]); + }    -  + array _indices() + { +  return glob( "GNOME_*", indices(GTK) ) + glob( "Gnome_*", indices(GTK) ); + }   Newline at end of file added.