Jean-Marc Lasgouttes wrote:
I am not sure I want to do text change (especially in menus) in 1.3Well, 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).
now. Is it really necessary?
Anyway, I let you take the final decision...
Also, did you update the docs after your latest changes?
No yet. I will update it if you tell me to do so.
Michael
