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'
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'