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

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

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