Snippets Groups Projects

Gnome.pmod

25 years ago

Now with more gnome. :-) · 45ab0a56

Per Hedbor authored 25 years ago

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

45ab0a56

Now with more gnome. :-)

Per Hedbor authored 25 years ago

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

Gnome.pmod 223 B

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) );
}