// Indirect loader of the symbol index for GTK2.RadioToolButton.

// Inherit GTK2.ToggleToolButton.
PikeDoc.loadScript("ex/predef_3A_3A/GTK2/ToggleToolButton/load_index.js", "GTK2.ToggleToolButton");

PikeDoc.loadScript("ex/predef_3A_3A/GTK2/RadioToolButton/index.js", false, ["GTK2.ToggleToolButton"]);