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

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

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