Select Git revision
-
Per Hedbor authored
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
Per Hedbor authoredRev: 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) );
}