// Indirect loader of the symbol index for Tools.PV.

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

PikeDoc.loadScript("ex/predef_3A_3A/Tools/PV/index.js", false, ["GTK1.Window"]);