// Indirect loader of the symbol index for Gnome.AppletWidget.

// Inherit GTK1.Plug.
PikeDoc.loadScript("ex/predef_3A_3A/GTK1/Plug/load_index.js", "GTK1.Plug");

PikeDoc.loadScript("ex/predef_3A_3A/Gnome/AppletWidget/index.js", false, ["GTK1.Plug"]);