On Tue, May 10, 2005 at 08:05:39PM +0200, Michael Schmitt wrote: > Well, the question is whether "Refs" makes any sense to the user. What > would you expect "Refs" to do? Probably not to jump to the associated > label (note: label, not labels). > > Anyway, I let you take the final decision...
It makes no sense as is, but at the same time people are used to it. Users are going to get a big shock at 1.4.0 (whenever that may be) for a large number of reasons, I don't see a good reason to introduce such changes in 1.3.x right now. regards john