[OS X TeX] Feature request: a "labels" menu

[Josep Maria Font]

Feature request: a "labels menu" in the source window, just like the "tags" menu: a menu that scans the source file and displays all the \label{...} declarations, and allows you to go to any. In long papers or books making heavy usage of labels, it is often difficult to recall whether you have already used such-and-such label, whether it really points to what you think, whether the label was exactly like this or not,  etc. One can obtain some of this with the "Find all" feature of the "Find..." panel, but this means cluttering your screen with two more windows/panels. I think that a pull-down menu would be more useful.

The "showkeys" package helps you to see the label for the particular item you are previewing, but what I am suggesting is a different thing.

Anyone agrees ?


JMaF


Aquest correu electrònic i els annexos poden contenir informació confidencial o protegida legalment i està adreçat exclusivament a la persona o entitat destinatària. Si no sou el destinatari final o la persona encarregada de rebre’l, no esteu autoritzat a llegir-lo, retenir-lo, modificar-lo, distribuir-lo, copiar-lo ni a revelar-ne el contingut. Si heu rebut aquest correu electrònic per error, us preguem que n’informeu al remitent i que elimineu del sistema el missatge i el material annex que pugui contenir. Gràcies per la vostra col·laboració.

Este correo electrónico y sus anexos pueden contener información confidencial o legalmente protegida y está exclusivamente dirigido a la persona o entidad destinataria. Si usted no es el destinatario final o la persona encargada de recibirlo, no está autorizado a leerlo, retenerlo, modificarlo, distribuirlo, copiarlo ni a revelar su contenido. Si ha recibido este mensaje electrónico por error, le rogamos que informe al remitente y elimine del sistema el mensaje y el material anexo que pueda contener. Gracias por su colaboración.

This email message and any documents attached to it may contain confidential or legally protected material and are intended solely for the use of the individual or organization to whom they are addressed. We remind you that if you are not the intended recipient of this email message or the person responsible for processing it, then you are not authorized to read, save, modify, send, copy or disclose any of its contents. If you have received this email message by mistake, we kindly ask you to inform the sender of this and to eliminate both the message and any attachments it carries from your account. Thank you for your collaboration.