// Indirect loader of the symbol index for GTK1.OptionMenu.

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

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