On Sat, Sep 15, 2007 at 11:36:37PM -0500, Bo Peng wrote: > Can I make the label of InsetIndex more meaningful by displaying > 'Idx:name' instead of 'Idx'? > > A simple patch is attached. I will commit it if there is no objection > in one day.
... and for the closed inset, you can leave out the Idx: prefix on the button. Curious people will click on it anyway... - Martin
