Richard Heck Fri, 26 Oct 2007 08:50:10 -0700
Am I right that with the recent changes to InsetIndex, GuiIndex is now non-functional and could be removed?
rh
