On Thu, Oct 25, 2007 at 10:31:17PM -0400, Richard Heck wrote:
> Am I right that with the recent changes to InsetIndex, GuiIndex is now 
> non-functional and could be removed?

I don't know.

Andre'

Reply via email to