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

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

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