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. > > Bo
Hmmm, what does "name" stand for? The content of the inset, i.e., the term being indexed? So it will be up to 45 chars long, and if longer, cut it off with an ellipsis. How much screen real estate will this eat, and is there a way to prevent this? 45 is quite a lot. ERT uses 15, like Branch used to (not any more, decoration type changed) - Martin
